Ports Search

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework, which allows static analyzers to build upon the results already computed by other analyzers in the framework, and provides sophisticated tools, such as a slicer and dependency analysis. Frama-C is closer to heuristic bug-finding tools than it is to software metrics tools, but it has two important differences with the former: it aims at being "correct" -- that is, never to remain silent for a location in the source code where an error can happen at run-time. And it allows its user to manipulate functional specifications, and to prove that the source code satisfies these specifications.

MySQL Connector/C is a C client library for client/server communication. It is a standalone replacement for the MySQL Client Library shipped with the MySQL Server.

This module provides basic functions used in descriptive statistics. It borrows very heavily from Statistics::Descriptive::Full (which is included with Statistics::Descriptive) with one major difference. This module is optimized for discretized data e.g. data from an A/D conversion that has a discrete set of possible values. E.g. if your data is produced by an 8 bit A/D then you'd have only 256 possible values in your data set. Even though you might have a million data points, you'd only have 256 different values in those million points. Instead of storing the entire data set as Statistics::Descriptive does, this module only stores the values it's seen and the number of times it's seen each value. For very large data sets, this storage method results in significant speed and memory improvements. In a test case with 2.6 million data points from a real world application, Statistics::Descriptive::Discrete took 40 seconds to calculate a set of statistics instead of the 561 seconds required by Statistics::Descriptive::Full. It also required only 4MB of RAM instead of the 400MB used by Statistics::Descriptive::Full for the same data set.

The Revision Control System (RCS) manages multiple revisions of files. RCS automates the storing, retrieval, logging, identification, and merging of revisions. RCS is useful for text that is revised frequently, including source code, programs, documentation, graphics, papers, and form letters. This port is gnu rcs 5.7. It is compatible with the rcs that was in FreeBSD prior to its removal in FreeBSD-10.0. Some ports will not work with changes made to rcs (e.g. changes to command line syntax) following the rcs 5.7 release.

Small Ruby library that colors strings using ANSI escape sequences. It's possible to use constants: print red, bold, "red bold", reset, "\n" or unary functions: print red(bold("red bold")), "\n" Blockforms do also autoreset at the block's end: print red { bold { "red bold" } }, "\n" It's also possible to use this module as Mixin for classes of objects that respond to :to_str, e.g. String. class String include Term::ANSIColor end print "red bold".red.bold, "\n"

phpipam is an open-source web IP address management application. Its goal is to provide light and simple IP address management application. It is ajax-based using jQuery libraries, php scripts, javascript and some HTML5/CSS3 features. - IPv4 / IPv6 address management - ICMP status updates, subnet scanning and status showing - Domain authentication (AD) / OpenLDAP authentication - Visual subnet display - VRF support - VLAN management - RIPE import - Import / export XLS files - E-Mail notification with IP details - IP database search - Custom IP/subnet/userVLAN address fields

Android File Transfer for Linux - reliable MTP client with minimalistic UI similar to Android File Transfer for Mac. Features: * Simple Qt UI with progress dialogs. * FUSE wrapper (If you'd prefer mounting your device), supporting partial read/writes, allowing instant access to your files. * No file size limits. * Automatically renames album cover to make it visible from media player. * No extra dependencies (e.g. libptp/libmtp). * Available as static/shared library. * Command line tool (aft-mtp-cli)

The sg3_utils package contains utilities that send SCSI commands to devices. As well as devices on transports traditionally associated with SCSI (e.g. Fibre Channel (FCP), Serial Attached SCSI (SAS) and the SCSI Parallel Interface(SPI)) many other devices use SCSI command sets. Its functions are similar to camcontrol(8), but more powerful. For example, it can use SCSI Environmental Services not using FreeBSD ses(4), read SCSI device logs, and much more.

Pycerberus is a framework to check user data thoroughly so that you can protect your application from malicious (or just garbled) input data. * Remove stupid code which converts input values: After values are validated, you can work with real Python types instead of strings - e.g. 42 instead of '42', convert database IDs to model objects transparently. * Implement custom validation rules: Writing custom validators is straightforward, everything is well documented and pycerberus only uses very little Python magic. * Focus on your value-adding application code: Save time by implementing every input validation rule only once, but 100% right instead of implementing a dozen different half-baked solutions. * Ready for global business: i18n support (based on GNU gettext) is built in, adding custom translations is easy. * Tune it for your needs: You can implement custom behavior in your validators, e.g. fetch translations from a database instead of using gettext or define custom translations for built-in validators. * Use it wherever you like: pycerberus is used in a SMTP server, trac macros as well as web applications - there are no dependecies on a specific context like web development.

xnec2c is a GTK+ graphical interactive version of nec2c. It incorporates the nec2c core which it uses for reading input files and calculating output data, but it does not need and indeed does not produce an output file by default. Graphs of frequency-related data and the current or charge distribution evolve as the frequency loop progresses, and radiation patterns (far and near field) are sequentially drawn for each frequency step.