18 projects tagged "C"
Updated 17 Sep 2002
OcamlSpread
| Pop | 17.20 |
|---|---|
| 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.
Updated 22 Mar 2013
CIL (C Intermediate Language)
| Pop | 162.58 |
|---|---|
| Vit | 17.52 |
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.
Updated 29 Apr 2003
Poesia
| Pop | 54.70 |
|---|---|
| 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.
Updated 09 Dec 2004
InFormal
| Pop | 40.79 |
|---|---|
| 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.
Updated 30 Apr 2005
C Code Analyzer
| Pop | 73.31 |
|---|---|
| Vit | 1.44 |
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.
Updated 05 Feb 2006
palmfs
| Pop | 41.67 |
|---|---|
| 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.
Updated 01 Feb 2013
brightmare
| Pop | 58.99 |
|---|---|
| Vit | 8.17 |
BrightMaRe is a tool that translates LaTeX equations to ASCII/UTF-8 text.
Updated 17 May 2007
Document clustering
| Pop | 44.45 |
|---|---|
| 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".
Updated 23 Apr 2007
NVM Virtual Machine
| Pop | 27.39 |
|---|---|
| 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.
Updated 12 Oct 2009
APRON numerical abstract domain library
| Pop | 30.82 |
|---|---|
| Vit | 1.64 |
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.
