RSS 13 projects tagged "Mac OS X"

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 28.74
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 11 Aug 2009 Coq

Screenshot
Pop 39.00
Vit 3.60

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.

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 99.40
Vit 5.06

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 17 Feb 2008 GLCaml

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

No download Website Updated 18 Jan 2006 GODI

Screenshot
Pop 29.41
Vit 1.52

GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.

Download Website Updated 25 Aug 2006 GeoProof

Screenshot
Pop 17.89
Vit 1.00

GeoProof is a dynamic geometry application with proof related features. It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

Download Website Updated 16 May 2012 MLdonkey

Screenshot
Pop 265.63
Vit 12.84

MLdonkey is a multi-platform, multi-network peer-to-peer client. It supports several large networks such as eDonkey, Overnet, Kademlia, Bittorrent, Gnutella (Bearshare, Limewire, etc.), Gnutella2 (Shareaza), or Fasttrack (Kazaa, Imesh, Grobster). Networks can be enabled or disabled. Searches are performed in parallel on all enabled networks. For some networks, each file can be downloaded from multiple clients concurrently.

Download Website Updated 08 Aug 2007 OMake

Screenshot
Pop 232.78
Vit 4.32

OMake is a build system and scripting language with a similar style and syntax to GNU make but with many additional features, including support for large projects spanning multiple directories, default configuration files simplifying the standard compilation tasks, fast, reliable, automated, scriptable dependency analysis using MD5 digests, built-in support for defining and running autoconfiguration tests, portability, and built-in functions that provide the most common features of programs like grep, sed, and awk. It also provides active filesystem monitoring that restarts builds automatically when source files are modified. A companion command interpreter that can be used interactively is included.

No download Website Updated 02 Apr 2008 Ocsigen

Screenshot
Pop 32.86
Vit 1.78

Ocsigen is a research project aiming at developing new programming techniques for the Web. It contains a full featured Web server and a programming framework that provides a way to create dynamic Web sites. Its goal is to offer an alternative to Apache/PHP, based on technologies from research in programming languages. There is also a module, called Eliom, for generating dynamic Web pages. With Eliom, you program in a concise and modular way, with a strong type system which helps you to produce valid XHTML. The server handles sessions, URLs, and page parameters automatically.

No download No website Updated 29 Jan 2011 Paparazzi

Screenshot
Pop 14.46
Vit 34.24

Paparazzi is powerful and versatile autopilot system for fixed-wing aircraft and multicopters. It comprises both hardware and software. The project includes not only the airborne hardware and software, from voltage regulators and GPS receivers to Kalman filtering code, but also a powerful and ever-expanding array of ground hardware and software including modems, antennas, and a highly evolved user-friendly ground control software interface.

Screenshot

Project Spotlight

ImgView

A simple image viewer.

Screenshot

Project Spotlight

INDI

A control protocol for various astronomical instruments (telescopes, CCDs, etc).