RSS 57 projects tagged "OCaml"

Download Website Updated 20 Jun 2007 Planets

Screenshot
Pop 81.29
Vit 4.03

Planets is a fun, interactive program for many-body gravity simulations. The emphasis is on play: it's easy to add in planets, zoom in and out, change the physical constants, save and load configurations, etc. It's designed to be easy enough for a kid to enjoy, but that hardly precludes adults.

No download Website Updated 28 Feb 2003 Synchronizing Key Server

Screenshot
Pop 47.72
Vit 1.00

SKS (Synchronizing Key Server) is a full-featured replacement for the standard PKS OpenPGP Key Server. It matches all of PKS features and interfaces, and at the same time provides a highly efficient, gossip-based replication algorithm that ensures that the replication is complete.

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

Screenshot
Pop 83.77
Vit 11.63

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.46
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.

Download Website Updated 05 Feb 2007 Cameleon for OCaml

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

Download Website Updated 22 Jan 2006 repasa

Screenshot
Pop 26.00
Vit 2.29

repasa is a set of three kind of tools: For creation of contents directly in the XML format of repasa or in other file formats (DocBook and LaTeX) following some conventions, for checking the contents, and for studying the contents and registering progress. The contents can be specified with definitions, classifications for the definitions (possibly along with exercises), and sequences of study. It is especially well suited to organize information according to the current legislation for education in schools of Colombia.

Download Website Updated 24 Oct 2004 mod_caml

Screenshot
Pop 19.29
Vit 1.84

mod_caml is a set of Objective CAML (OCaml) bindings for the Apache API. It allows you to run CGI scripts written in OCaml directly inside the Apache Web server. However, it is much much more than just that. You can bind to any part of the Apache request cycle, read and modify internal Apache structures, share modules of code between handlers and scripts, or use the CGI library and templating system (allows separation of code and presentation).

Download Website Updated 17 Jun 2004 MLpcap

Screenshot
Pop 20.49
Vit 2.05

MLpcap provides access to all libpcap functions from the Objective Caml language.

Download Website Updated 04 Mar 2004 sigue

Screenshot
Pop 17.83
Vit 1.75

sigue is composed of tools that allow users to track progress of students in one or more subjects and to generate reports periodically. It is tailored to Colombian schools, and includes an interface in PHP to facilitate the grading process (for teachers), and scripts to print reports for parents in LaTeX.

Download Website Updated 03 Feb 2004 Polygen

Screenshot
Pop 26.94
Vit 61.06

PolyGen is a program for generating random sentences according to a grammar definition, that is following custom syntactical and lexical rules. Formally, it is an interpreter of a language itself designed to define languages, where to interpret means executing a source program in real time and eventually outputting its result. Here, a source program is a grammar definition. The execution consists of the exploration of such grammar by selecting a random path, and the result is the sentence built on the way.

Screenshot

Project Spotlight

Transmageddon

A video conversion tool.

Screenshot

Project Spotlight

Task Coach

A friendly task manager.