RSS 6 projects tagged "Windows"

Download Website Updated 20 Jan 2014 Zero Install Injector

Screenshot
Pop 1,074.84
Vit 52.47

Zero Install is a decentralized cross-distribution software installation system. It allows software developers to publish programs directly from their own Web sites, while supporting features familiar from centralized distribution repositories such as shared libraries, automatic updates, and digital signatures. It is intended to complement, rather than replace, the operating system's package management. 0install packages never interfere with those provided by the distribution.

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 99.30
Vit 5.05

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. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

Download Website Updated 11 Aug 2009 Coq

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

Download Website Updated 17 Feb 2008 GLCaml

Screenshot
Pop 31.86
Vit 2.17

GLCaml is an Objective Caml interface for OpenGL versions 1.1, 1.2, 1.3, 1.4, 1.5, 2.0, and 2.1, plus extensions. It is intended as a compact drop-in binding. It is a direct, dynamic binding to OpenGL. An OCaml SDL binding is provided as well, along with texture-map scaling functions, texture mip-map generators, and a bitmapped font library. Extensive documentation and more than 20 examples are provided.

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.09
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 25 May 2008 bitstring

Screenshot
Pop 20.40
Vit 1.00

Bitstring is a powerful language extension for OCaml which adds native parsing of arbitrary bitstrings, in the style of Erlang. Bitstring can be used to parse and generate binary file formats and binary protocols. This project was formerly known as "bitmatch".

Screenshot

Project Spotlight

Podget

A simple podcast aggregator.

Screenshot

Project Spotlight

Grenouille

An online service for weather data.