RSS 57 projects tagged "POSIX"

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.19
Vit 1.59

The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Download Website Updated 05 Jun 2006 Bake

Screenshot
Pop 35.11
Vit 1.43

Bake is a small domain-specific programming language for describing how to transform one file into another. It uses the typical topological sort, but has features that make describing this relatively easy. It should feel comfortable to those familiar with Javascript, Python, and make.

Download Website Updated 07 Jul 2006 Bantam

Screenshot
Pop 42.60
Vit 2.40

Bantam is a fast, light file manager for X11. It is targeted at power users who know their way around a file system and like to use the keyboard. Its important features include single-keystroke commands as the primary mode of operation, an arbitrary number of directory views, and a configurable interface to external file viewers and editors.

Download Website Updated 30 Apr 2005 C Code Analyzer

Screenshot
Pop 65.76
Vit 1.43

The C Code Analyzer (CCA) is a static analysis tool for detecting potential security problems in C source code. It's fully automatic; no code annotations or the like are required. It features an automatic user input tracer, potential buffer overflow detection, and more. An eclipse frontend plugin is included.

No download Website Updated 25 Jul 2013 CIL (C Intermediate Language)

Screenshot
Pop 84.23
Vit 11.67

CIL is a frontend for the C programming language which facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL, all looping constructs are given a single form and expressions have no side effects. This reduces the number of cases which must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool which makes C programs memory safe. It supports ANSI C, as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop-in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses.

Download Website Updated 25 Oct 2004 COCANWIKI

Screenshot
Pop 32.71
Vit 1.00

COCANWIKI is a full-featured Wiki and content management system. It has many unique features not found in any other Wikis including live preview when editing, advanced navigation (including the ability to follow links in both directions), PIM/calendar extensions, user permissions, customisable page layouts, virtual hosting (handling more than one Wiki per server), search, anti-spam, and email notifications.

Download Website Updated 05 Feb 2007 Cameleon for OCaml

Screenshot
Pop 57.88
Vit 3.02

Cameleon is an integrated development environment for Objective Caml and eventually other languages. Its features include a graphical user interface, configuration management based on CVS, easy access to and browsing of documentation, various editors, customizable file types, a plug-in architecture, and a highly customizable interface.

No download Website Updated 19 May 2006 Caml-get

Screenshot
Pop 13.56
Vit 1.00

Caml-get is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility.

No download Website Updated 17 Feb 2005 Confluence System Design Language

Screenshot
Pop 58.21
Vit 1.75

Confluence is a functional programming language for reactive system design, including FPGAs, ASICs, and hard-real-time software. Confluence system descriptions have a large information to linecount ratio. It is typically two to five times more compact than Verilog. Confluence can compile a single body of source code into to Verilog, VHDL, C, and NuSMV.

Download Website Updated 11 Aug 2009 Coq

Screenshot
Pop 39.23
Vit 3.59

The Coq tool is a proof assistant which is able to handle calculus assertions, to check proofs of these assertions mechanically, and to extract a certified program from the constructive proof of its formal specification.

Screenshot

Project Spotlight

bystroTeX

A tool for preparing HTML slides with LaTeX formulae.

Screenshot

Project Spotlight

libxmp

A mod player library.