RSS 48 projects tagged "Linux"

No download Website Updated 11 Nov 2010 Binary of Babel

Screenshot
Pop 45.13
Vit 1.00

Binary of Babel is the demo that got second place at Alternative Party 2010. It combines over 20 programming languages, including Objective-C, Vala, Scheme, and even COBOL, into one binary. It contains lots of classic demo effects such as a rotozoomer and raster bars.

Download Website Updated 13 Mar 2010 Borderline

Screenshot
Pop 19.13
Vit 2.10

Borderline is a firewall generator. It takes a generic rule specification as input and generated an highly optimized firewall. It features IPv6 rule generation, support for multiple interfaces, and integrated support for network zones. It currently only supports firewall generation for Linux 2.6 (netfilter).

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.

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 19 Jun 2013 Continuation Passing C

Screenshot
Pop 57.55
Vit 4.10

CPC (Continuation Passing C) is a programming language designed for writing concurrent systems. The CPC programmer manipulates very lightweight threads, choosing whether they should be cooperatively or preemptively scheduled at any given point; the CPC program is then processed by the CPC translator, which produces highly efficient event-loop code. This approach gives the best both worlds: the relative convenience of programming with threads, and the low memory usage of event-loop code. The semantics of CPC is defined as a source-to-source translation from CPC into plain C using a technique known as conversion into Continuation Passing Style. The current implementation of CPC has been used to write Hekate, a BitTorrent seeder designed to handle millions of simultaneous torrents and tens of thousands of simultaneously connected peers.

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.

Download Website Updated 02 Apr 2004 Dirty Water

Screenshot
Pop 17.32
Vit 1.00

Dirty Water is an original MUD server/engine written in OCaml. It is designed to be much more advanced and realistic and to encourage role playing more than Diku-style MUDs.

No download Website Updated 04 Oct 2012 Frama-C

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

Screenshot
Pop 32.30
Vit 2.16

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.

Screenshot

Project Spotlight

evince

A document viewer for PostScript, PDF, TIFF, DjVu, and other formats.

Screenshot

Project Spotlight

OptiPNG

A lossless PNG optimizer.