You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.Sponsored Listing
OSI-Approved Open Source (196)
- GNU General Public License version 2.0 (94)
- GNU Library or Lesser General Public License version 2.0 (45)
- BSD License (31)
- GNU General Public License version 3.0 (17)
- MIT License (14)
- GNU Library or Lesser General Public License version 3.0 (5)
- Academic Free License (3)
- Apache License V2.0 (2)
- Eclipse Public License (2)
- Qt Public License (2)
- Artistic License (1)
- Artistic License 2.0 (1)
- Common Development and Distribution License (1)
- Educational Community License, Version 2.0 (1)
- Fair License (1)
- Public Domain (5)
- Other License (3)
- Linux (204)
- Grouping and Descriptive Categories (147)
- Windows (146)
- Mac (120)
- Android (76)
- BSD (73)
- Modern (71)
- Emulation and API Compatibility (11)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
- Programming Language: OCaml (Objective Caml) ×
A Genetic Programming library that uses System F, a polymorphically typed lambda calculus to represent genotypes. System F is very expressive and allows the native representation of all common programming structures and of recursive structures.
Starting from various input files, we parse to find a list of addresses, then display them on a map.
Alpha roguelike game development framework.1 weekly downloads
Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.
a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general
A collection of machine-checkend mathematical proofs32 weekly downloads
AsciiMation Generator is an ascii-art animation generator. Asciimation is created from a specific programming language and using specified sprites. AMGenerator is an interpreter written in OCaml.
The Blast Software Verification Tool
Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch th1 weekly downloads
CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.52 weekly downloads
CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.28 weekly downloads
A set of tools for the Objective Caml language build and maintained by the OCaml community.
CamlAL is an OCaml bindings for OpenAL.
CamlCSS is an O'Caml SDK to write server-side plugins for a first person shooter game Counter-Strike: Source.10 weekly downloads
Eclipse Plugin of OCaml1 weekly downloads
CamlGI is a web framework build on top of OCamlNet2.17 weekly downloads
CamlGoBot is a computer go program using the GTP protocol and written in OCaml. Its main goal is to be used as a bot on the KGS go server.
CamlOSG is an OCaml bindings for OpenSceneGraph.1 weekly downloads
Camlexif is an Exif parsing library entirely written in Objective Caml (OCaml).
Carafe is an implementation of Conditional Random Fields and related algorithms targeted at text processing applications. The latest version, jCarafe, is implemented in Scala and runs on the JVM.1 weekly downloads
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.3 weekly downloads
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.1 weekly downloads
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.