RSS 97 projects tagged "OCaml"

Download Website Updated 20 Jun 2007 Planets

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

Download Website Updated 20 May 2002 XSL Preprocessor

Screenshot
Pop 33.50
Vit 1.00

XSPP (XSL Preprocessor) offers alternative syntax for creating XSLT stylesheets. It alo supports macro expansion, and is written in OCaml.

Download Website Updated 31 May 2002 Active-DVI

Screenshot
Pop 40.25
Vit 1.00

Active-DVI is a DVI previewer and a programmable presenter for slides written in LaTeX. The previewer features color anti-aliasing, inclusion of images with alpha channel and blending, encapsulated Postscript file inclusion, Gpic specials to display pictures, correct treatment of many inlined-Postscript specials, page background settings, and Japanese pTeX DVI extension support. To present your DVI files, it features basic effects for presentation (pause, delay, dynamic text color change), annotations displayed on demand (similar to pop-up balloons), hyperlinks from slide to slide or to other files, replay of previously recorded parts of the display, text movements, page transitions, embedded applications, and scratching on slide to interactively modify the text on screen. Its special effects are set and launched from within your LaTeX source file via the macros of the advi.sty LaTeX package provided by the distribution. In addition, Caml hackers can program new and fancy Active-DVI effects in the source code of the presenter.

Download Website Updated 17 Sep 2002 OcamlSpread

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

No download Website Updated 28 Feb 2003 Synchronizing Key Server

Screenshot
Pop 47.81
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.71
Vit 11.65

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 22 Aug 2003 IBGS

Screenshot
Pop 27.50
Vit 1.75

IBGS is a game server for board games such as chess, go, checkers, and nine nens morris. Data about players and games are stored in an SQL database. The FICS protocol is supported. The IBGS Client is part of this project.

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.

No download Website Updated 12 Nov 2003 mp3tag

Screenshot
Pop 31.65
Vit 1.00

Mp3tag is an Objective-Caml library for reading and writing ID3v1 and v2 tags in MP3 files. It includes mp3tag tools, which can be used to modify tags in MP3 files or rename files according to their tags, and a cddbtag tool that modifies tags by using a CDDB server to retrieve information about the track.

Download Website Updated 10 Jan 2012 Felix Programming Language

Screenshot
Pop 46.96
Vit 4.28

Felix is a programming language with a fully featured purely functional subsystem embedded in a a traditional Algol-like imperative programming system. The system features garbage collection, static typing, parametric polymorphism, overloading, regular expression matching, and a lot more. A scripting harness is used to invoke source files, but fully compiled binary shared libraries are generated, yielding both rapid prototyping and high performance. Seamless binding of C/C++ code makes interfacing existing libraries easy. Control inversion provides language-level cooperative multi-tasking.

Screenshot

Project Spotlight

Skylable SX

A cloud storage toolkit.

Screenshot

Project Spotlight

WildMidi

A software wavetable synth.