|
|
|
84 projects in result set. Projects sorted by: Ranking (Top Ranked First) Select a page: 1 2 3 4 5 Next
1. Antares - 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.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
2. Archive of Formal Proofs - The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
3. AsciiMation Generator - 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.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
4. avern - avern is a strongly typed, interpreted, scripting language, with imperative constructs, but a strong functional flavor.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
5. banshee - banshee-- A toolkit for building constraint-based program analyses
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
7. cacaoweb - cacaoweb is a program for peer to peer internet communication. It features a DHT, a P2P communication platform, a live P2P streaming facility and a P2P web protocol.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
8. Camelia - 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.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
9. Caml Community Code - A set of tools for the Objective Caml language build and maintained by the OCaml community.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
10. CamlDT - Eclipse Plugin of OCaml
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
11. CamlGI - CamlGI is a web framework build on top of OCamlNet2.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
12. camomile - Camomile is a Unicode library for ocaml. Camomile
provides Unicode character type, UTF-8, UTF-16, UTF-32 strings,
conversion to/from about 200 encodings, collation and locale-sensitive
case mappings, and more.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
13. charconv64 - charconv64 converts images to Commodore 64 format. Currently it supports multicolor, hires, ESCOS and sprite overlays.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
14. CimulA - 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.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
15. CodeTime Parallel Software Platform - 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.
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
16. CompScheme - CompScheme is a program for algorithmic music composition and stochastic sound synthesis written in Objective Caml (OCaml).
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
17. coThreads - coThreads (formerly known as STMlib), is a concurrent programming library for OCaml. It features both high and low level constructors, for both shared-memory and message-passing style concurrency. The library is equipped with a set of source-level and ob
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
18. CT8K - CT8K is an experimental quantum chemistry program intended to bring state of the art methods to the desktop PC
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
19. Decision Procedure Toolkit - The Decision Procedure Toolkit (DPT) is a system of cooperating
decision procedures for answering satisfiability queries. The DPT
implementation in OCaml comprises a DPLL-style SAT solver with
theory-specific decision procedures.
Click here to download. | Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
20. Delimited overloading - A syntax extension to ease the writing of efficient arithmetic expressions in OCaml. The development moved to OCaml Forge: http://forge.ocamlcore.org/projects/pa-do/
| Rank/Activity Percentile
0 / 0.00%
Registered/Updated
N/A / N/A
Downloads
0
|
84 projects in result set. Projects sorted by: Ranking (Top Ranked First) Select a page: 1 2 3 4 5 Next
|
|
|
|
|
|
Mac Deals
