RSS 19 projects tagged "C"

Download Website Updated 17 Sep 2002 OcamlSpread

Screenshot
Pop 14.53
Vit 1.00

OcamlSpread is a wrapper around the Spread group communication toolkit (http://www.spread.org) for the Objective Caml programming language. OcamlSpread not only wraps Spread functions, but adds an object-oriented interface and other valuable features.

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

Screenshot
Pop 84.56
Vit 11.71

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 29 Apr 2003 Poesia

Screenshot
Pop 51.85
Vit 1.00

Public Opensource Environment for a Safer Internet Access (POESIA) is an Internet content filter, partly funded by the European Commission. POESIA filters harmful content in several channels (Web, email, Usenet news). It combines innovative technologies to achieve more effective filtering than other products. Filtering covers a range of modes, including image filtering, natural language text filtering, URLs, PICs, and JavaScript filtering. The filter will initially be deployed in English, Italian, and Spanish. Additional work is required to cover other European languages.

No download Website Updated 09 Dec 2004 InFormal

Screenshot
Pop 30.33
Vit 1.00

InFormal provides formal verification of digital hardware. Built on the FNF open netlist standard, it creates a link between Icarus Verilog, the leading open source Verilog implementation, and NuSMV, the leading open soure model checker.

Download Website Updated 30 Apr 2005 C Code Analyzer

Screenshot
Pop 65.19
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 05 Feb 2006 palmfs

Screenshot
Pop 64.92
Vit 1.00

palmfs is a PalmOS filesystem access software for Linux, based on FUSE. It consists of two parts, a client and a server. The client is a FUSE-based application running on the Linux system. The server part is a PalmOS application that actually executes commands sent by the client. It is intented to support various communication ports and to access the PalmOS internal filesystem as well as expansion cards.

Download Website Updated 01 Feb 2013 brightmare

Screenshot
Pop 41.90
Vit 4.35

BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.

Download Website Updated 17 May 2007 Document clustering

Screenshot
Pop 35.21
Vit 1.01

Document clustering is a data mining suite to cluster a document set. This set of tools was implemented from a series of papers: "Clustering Web Pages Semantically using Combinatorial Topology", "Data mining using granular computing", and "A fast association rule algorithm based on bitmap and granular computing".

Download Website Updated 23 Apr 2007 NVM Virtual Machine

Screenshot
Pop 28.81
Vit 1.00

NVM Virtual Machine is a small, fast, extensible and portable virtual machine. It can be used, for example, as a scripting engine in microcontrollers. It can be configured to work in a few modes (with a machine word equal to 16, 32, or 64 bits) depending on user needs. Programming is done using an ASM-like language or a (simple) higher level language which is implemented using ocamllex and ocamlyacc.

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.02
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.

Screenshot

Project Spotlight

ABC Path Solver

An automated solver for the puzzle game ABC Path.

Screenshot

Project Spotlight

Lziprecover

A recovery tool for lzip files.