Showing page 1 of 3.

• 
  GEM library

  A set of very optimized tools for indexing/querying huge genomes/files. Provided so far: a very fast exact mapper, and an unconstrained split-mapper

  39 weekly downloads
• 
  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.

  15 weekly downloads
• 
  The MinCaml Compiler

  MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!

  10 weekly downloads
• 
  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.

  4 weekly downloads
• 
  VHDL Symbolic Simulator

  VSYML is an automated symbolic simulator for VHDL designs.

  4 weekly downloads
• 
  OCaml ExtLib

  A User-supported Extended Standard Library for OCaml

  3 weekly downloads
• 
  MazeML

  MazeML est un logiciel de création et de résolution rapides de labyrinthes. Écrit en Objective Caml (OCaml) avec GTK+, il est portable sur de nombreuses plateformes. Il est publié sous les termes de la licence GNU GPL v3.

  2 weekly downloads
• 
  OCamlPlugin

  Integrated development environment for OCaml programming language. It offers a flexible editor with a content type sensitive content assist processor. It provides the possibility to compile and run OCaml projects together with the convenient presentation

  2 weekly downloads
• 
  OCamlTeX

  LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

  2 weekly downloads
• 
  SPEmatic

  SPEmatic is an interpreter for SPE-style string-rewrite rules meant for use by students and instructors in introductory courses on phonological theory (a subfield of linguistics that deals with how sounds function in the grammars of natural languages).

  2 weekly downloads
• 
  lablai

  Simple collection of Artificial Intelligence methods implemented in OCaml

  2 weekly downloads
• 
  rezo

  A software for indexing and searching a samba based files sharing network.

  2 weekly downloads
• 
  Jekyll

  Jekyll is a high level programming language that can be translated to and from readable, editable C, thus allowing it to be used in C projects.

  1 weekly downloads
• 
  ldap server and client library for Ocaml

  An implementation of the Light Weight Directory Access Protocol in Objective Caml. Both server and client libraries are provided, along with some data manipulation goodies such as a schema checker, and parsers for ldif, ldapurls etc.

  1 weekly downloads
• 
  CamlGI

  CamlGI is a web framework build on top of OCamlNet2.

  1 weekly downloads
• 
  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.

  1 weekly downloads
• 
  Kicad Ocaml OBSOLETE

  The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar

  1 weekly downloads
• 
  LTL3 tools

  A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.

  1 weekly downloads
• 
  Lpd OCaml library

  OCaml Lpd is a Line Printer Daemon (LPD) server library written in OCaml. This project moved to OCamlForge https://forge.ocamlcore.org/projects/lpd/

  1 weekly downloads
• 
  O'Caml Reins

  OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.

  1 weekly downloads
• 
  OCaml Benchmark

  Moved to https://forge.ocamlcore.org/projects/ocaml-benchmark/ OCaml module to benchmark running times of code. It is inspired by Perl Benchmark.pm.

  1 weekly downloads
• 
  OCaml Lego Mindstorm library

  This project moved to https://forge.ocamlcore.org/projects/ocaml-mindstorm/ OCaml-mindstorm is a library that enables you to drive Lego mindsotrm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.

  1 weekly downloads
• 
  OCaml Rope Library

  This project moved to OCamlForge https://forge.ocamlcore.org/projects/rope/ This library implements ropes for OCaml (it is rich enough to replace strings).

  1 weekly downloads
• 
  OCamlBoggle

  OCamlBoggle implements the well-known game Boggle. It is licensed under the terms of the GNU GPL v3. It is written in OCaml with GTK+ and should thus work with many OS platforms. Its French database contains more than 600 000 entries.

  1 weekly downloads
• 
  OPath

  OPath is a physically based rendering system. The renderer takes a scene description written in a simple language describing geometry, materials, lighting and viewing parameters and produces photorealistic, high dynamic range images of the scene.

  1 weekly downloads

• Back
• 1
• 2
• 3
• Next