ocaml-cohttp : An OCaml library for HTTP clients and servers using Lwt or Async
author: mirage
created: 2009-09-30 12:48:23
http http-client lwt ocaml unix


mirage : MirageOS is a library operating system that constructs unikernels
author: mirage
created: 2009-12-04 17:00:34
kvm linux mirageos ocaml opam unikernel xen


KaSim : Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
author: Kappa-Dev
created: 2010-10-24 10:49:39
kappa ocaml simulation


coq : Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
author: coq
created: 2011-02-17 05:49:37
coq dependent-types proof-assistant theorem-proving ocaml


memories : Forgetful Bloom filters
author: mjambon
created: 2011-04-19 01:34:29
agi ocaml


lablqml : Interfacing Qt/QML with OCaml. Formely known as lablqt
author: Kakadu
created: 2011-04-21 09:34:49
gui ocaml qt qtquick


analyzer : The goblint static analysis framework
author: goblint
created: 2011-07-18 15:10:56
c ocaml static-analysis static-code-analysis


gapi-ocaml : A simple OCaml client for Google Services.
author: astrada
created: 2011-11-12 14:45:01
google-api ocaml


ocamlbrew : Manage OCaml installations in your $HOME
author: hcarty
created: 2011-12-23 19:17:26
ocaml shell


ocaml-re : Pure OCaml regular expressions, with support for Perl and POSIX-style strings
author: ocaml
created: 2012-01-05 03:14:49
dfa ocaml regular-expression


ocaml-uri : RFC3986 URI parsing library for OCaml
author: mirage
created: 2012-01-07 03:15:38
ocaml rfc-3986 uri url


LILiS : L-system interpreter in OCaml
author: Drup
created: 2012-01-07 22:00:24
lsystem ocaml


ocaml.org : Implementation of the ocaml.org website.
author: ocaml
created: 2012-02-11 20:51:18
ocaml


opam : opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
author: ocaml
created: 2012-02-17 20:55:44
git ocaml opam package-manager


jingoo : OCaml template engine almost compatible with jinja2
author: tategakibunko
created: 2012-02-18 05:31:43
jinja2 ocaml template-engine


factorial-multi-language : Calc factorial in any languages
author: msoap
created: 2012-03-18 11:13:46
awk benchmark coffeescript dart erlang golang haskell java javascript kotlin languages lua ocaml pascal perl php python ruby rust swift


ocamlfuse : OCamlFuse mirror with dune support
author: astrada
created: 2012-06-10 15:02:11
fuse ocaml


google-drive-ocamlfuse : FUSE filesystem over Google Drive
author: astrada
created: 2012-06-19 21:37:09
filesystem fuse google-drive ocaml


mirage-tcpip : TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.
author: mirage
created: 2012-06-20 09:53:17
arp ethernet icmp ipv4 mirageos networking-stack ocaml tcp tcpip udp unikernel


daft : DAFT Allows File Transfers
author: UnixJunkie
created: 2012-07-13 02:48:40
cli cryptography distributed-file-system ocaml privacy-protection


carburizer : Carburizer is a tool that removes hardware dependence bugs.
author: asimkadav
created: 2012-07-29 14:15:13
carburizer code-hardening device-driver sosp static-analysis ocaml


phd : All stuff related to my PhD.
author: cahirwpz
created: 2012-08-03 16:20:29
fricas type-system ocaml


redexer : The Redexer binary instrumentation framework for Dalvik bytecode
author: plum-umd
created: 2012-08-14 20:32:37
bytecode-manipulation dalvik dex dynamic-analysis ocaml


zipperposition : An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; supporting libraries for manipulating terms, formulas, clauses, etc. (including Logtk).
author: c-cube
created: 2012-08-15 14:53:47
cnf computer-science-algorithms experimental induction logic ocaml polymorphism prototype prover rewriting saturation superposition symbolic-computation


0install : the core 0install package
author: 0install
created: 2012-08-26 14:03:48
0install cross-platform decentralized package-manager ocaml


oasis : Cabal like system for OCaml
author: ocaml
created: 2012-09-08 02:21:36
oasis ocaml ocamlbuild omake


zed : Abstract engine for text edition in OCaml
author: ocaml-community
created: 2012-10-16 22:00:45
ocaml


lambda-term : Terminal manipulation library for OCaml
author: ocaml-community
created: 2012-10-17 06:37:23
ocaml


mirage-skeleton : Examples of simple MirageOS apps
author: mirage
created: 2012-12-15 15:46:48
examples mirageos ocaml unikernel


datalog : An in-memory datalog implementation for OCaml.
author: c-cube
created: 2012-12-24 16:13:37
datalog logic-programming memoization ocaml prolog


sequence : Simple sequence abstract datatype, intended to iterate efficiently on collections while performing some transformations.
author: c-cube
created: 2013-01-27 22:38:43
higher-order-functions iter iterators lazy monad ocaml sequence stream


merlin : Context sensitive completion for OCaml in Vim and Emacs
author: ocaml
created: 2013-02-06 09:38:04
atom emacs ocaml vim


To.ml : Implementation in OCaml of the Toml minimal langage
author: ocaml-toml
created: 2013-02-25 21:24:55
config lenses ocaml toml


ocaml-containers : A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
author: c-cube
created: 2013-02-27 14:17:32
data-structure lightweight modular ocaml permissive-license portable stdlib


ocaml-git : Pure OCaml Git format and protocol
author: mirage
created: 2013-03-12 16:54:35
git ocaml


AC6 : school project
author: bfontaine
created: 2013-03-22 09:50:18
ocaml paris-diderot


ocaml-kyotocabinet : OCaml bindings for kyoto cabinet DBM
author: didier-wenzek
created: 2013-04-18 08:12:31
database key-value kyoto-cabinet ocaml-bindings ocaml


irmin : Irmin is a distributed database that follows the same design principles as Git
author: mirage
created: 2013-04-22 09:52:58
database git irmin mirageos ocaml storage


odist : OCaml distributed data processing
author: didier-wenzek
created: 2013-04-26 13:45:26
data-processing ocaml


oscillator : Ocaml oscillator simulator
author: stanislas-m
created: 2013-05-23 09:21:11
ocaml oscillator


iplogic : A DSL for generating iptables firewall scripts.
author: paurkedal
created: 2013-06-09 08:44:41
dsl firewall iptables ocaml


rill : Statically typed system programming language for 文鳥
author: yutopp
created: 2013-06-16 14:17:56
programming-language ocaml


driverstudy : A repository about the study of drivers.
author: asimkadav
created: 2013-06-18 22:44:49
device-driver static-analysis ocaml


ocsigen-start : Ocsigen-start: an Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc.
author: ocsigen
created: 2013-07-03 13:24:21
mobile mobile-app multi-platform ocaml ocsigen web web-app


ocaml-ipaddr : A library for manipulation of IP (and MAC) address representations
author: mirage
created: 2013-07-24 17:57:50
ip-address ipv4 ipv6 mac-address ocaml


mycsv.archived : A little tool to parse and format csv data. I use it often from within emacs (via shell-command-on-region).
author: tomjridge
created: 2013-07-26 19:18:14
archived ocaml


js_of_ocaml : Compiler from OCaml to Javascript.
author: ocsigen
created: 2013-07-29 20:28:11
compiler javascript jsoo ocaml ocsigen


lwt : OCaml promises and concurrent I/O.
author: ocsigen
created: 2013-07-29 20:47:51
asynchronous concurency events fibers futures io lwt ocaml promises


ocsigenserver : Web server in OCaml.
author: ocsigen
created: 2013-07-29 22:11:35
ocaml ocsigen server web


eliom : Multi-tier framework for programming web and mobile applications in OCaml.
author: ocsigen
created: 2013-07-29 23:15:46
ocaml ocsigen tierless web


labrys : A toy language based on LLVM that implements the System Fω type-system
author: kit-ty-kate
created: 2013-08-01 15:05:23
compiler language llvm ocaml programming-language type-system


cfstream : Stream operations in the style of Core's API.
author: biocaml
created: 2013-08-08 17:51:11
ocaml


ocaml-cairo : Binding to Cairo, a 2D Vector Graphics Library.
author: Chris00
created: 2013-08-10 09:29:30
cairo cairo-drawing drawing dune ocaml ocaml-bindings stroke tutorial


profuse : An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
author: effuse
created: 2013-10-18 16:18:36
fuse ocaml


kiln : The reference compiler for the Brick language
author: brick-lang
created: 2013-10-25 03:46:15
brick-lang compiler functional-languages jit-interpreter kiln ocaml


coq-of-ocaml : Compile OCaml to Coq.
author: clarus
created: 2013-10-31 17:00:25
compiler coq ocaml


geneweb : GeneWeb is an open source genealogy software with a web interface created by Daniel de Rauglaudre.
author: geneweb
created: 2013-11-12 08:45:43
consanguinity database family-tree gedcom genealogy graph linux ocaml osx software web windows


ocaml-kojson : Combinators for matching JSON
author: paurkedal
created: 2013-11-16 09:45:17
json ocaml parser-combinators yojson


alcotest : A lightweight and colourful test framework
author: mirage
created: 2013-12-12 16:58:41
ocaml unit-testing


ACPC : Chemoinformatics tool for ligand-based virtual screening
author: UnixJunkie
created: 2014-01-09 01:52:28
chemoinformatics lbvs ligand ocaml partial-charges


bistro : A library to build and execute typed scientific workflows
author: pveber
created: 2014-01-19 15:30:29
bioinformatics computational-biology ocaml pipeline workflow


wanderers : An open world adventure and dungeon crawling game
author: a-nikolaev
created: 2014-02-01 22:30:38
adventure dungeon-crawler game ocaml open-world opengl procedural roguelike


gen : Simple, efficient iterators for OCaml
author: c-cube
created: 2014-02-10 20:36:01
gen generator iterator ocaml


SPOC : Stream Processing with OCaml
author: mathiasbourgoin
created: 2014-02-11 13:00:37
cuda gpgpu ocaml opencl spoc


ocaml-tls : TLS in pure OCaml
author: mirleft
created: 2014-02-13 22:45:01
mirageos ocaml security tls


ocaml : Exercism exercises in OCaml.
author: exercism
created: 2014-02-28 03:23:52
exercism-exercises exercism-track ocaml


ocaml-caqti : Cooperative-threaded access to relational data
author: paurkedal
created: 2014-03-18 21:11:08
async database io-monad lwt mariadb ocaml postgresql sqlite


stringext : Extra string functions for OCaml
author: rgrinberg
created: 2014-03-22 03:32:24
ocaml string string-manipulation


quantum_package : Set of quantum chemistry programs and libraries
author: LCPQ
created: 2014-04-01 09:24:45
amazing chemistry computational-chemistry dft fortran ocaml quantum quantum-chemistry-programs wavefunction zmq


FStar : Verification system for effectful programs
author: FStarLang
created: 2014-04-03 17:32:49
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification f*


ocaml-mindstorm : Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.
author: Chris00
created: 2014-04-14 08:31:13
lego mindstorms robotics ocaml


flajolet : Probabilistic data structures for OCaml
author: travisbrady
created: 2014-04-16 02:57:22
bloom-filter flajolet hyperlog hyperloglog minhash ocaml


z3overlay : An overlay for the OCaml Z3 binding.
author: termite-analyser
created: 2014-04-18 14:26:57
gadt ocaml z3


ppx_deriving_protobuf : A Protocol Buffers codec generator for OCaml
author: ocaml-ppx
created: 2014-04-20 13:40:55
deriving protobuf protocol-buffers ocaml


cconv : combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
author: c-cube
created: 2014-04-24 12:42:21
codec conversion decoder encoder ocaml


FPTaylor : Tool for Rigorous Estimation of Round-Off Floating-Point Errors
author: soarlab
created: 2014-05-08 20:34:06
estimation floating-point round-off-error ocaml


sdl2-examples : Examples for getting started with SDL2, for over 12 different programming langauges
author: xyproto
created: 2014-05-16 13:00:07
c cpp cpp17 go lua nim ocaml pascal pony python rust sdl2 skeleton c++


ketrew : Keep Track of Experimental Workflows
author: hammerlab
created: 2014-05-28 04:18:29
edsl ocaml workflows


ocaml-lmdb : Ocaml bindings for lmdb.
author: Drup
created: 2014-06-27 20:54:56
ctypes database lmdb ocaml


SteamMaku : CS 3110 Project: 2-dimensional competitive bullet hell game
author: sidshekhar
created: 2014-06-29 15:00:59
game ocaml


lacaml : OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
author: mmottl
created: 2014-07-01 20:13:59
blas lapack linear-algebra matrix ocaml vector


aifad : AIFAD - Automated Induction of Functions over Algebraic Data Types
author: mmottl
created: 2014-07-01 21:46:20
algebraic-data-types decision-trees machine-learning ocaml


cfg : OCaml library for manipulating context-free grammars
author: mmottl
created: 2014-07-02 01:12:45
context-free-grammar datastructures grammar ocaml


gsl-ocaml : OCaml bindings to the GSL (GNU Scientific Library).
author: mmottl
created: 2014-07-04 04:40:59
gsl ocaml scientific-computing


ocaml-makefile : Easy to use Makefile for small to medium-sized OCaml-projects
author: mmottl
created: 2014-07-06 00:30:13
makefile ocaml


ocaml-prog-pats : OCaml Programming Patterns - random tricks, "design patterns", etc.
author: mmottl
created: 2014-07-06 14:25:17
ocaml patterns


pcre-ocaml : OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
author: mmottl
created: 2014-07-06 14:30:44
ocaml pattern-matching pcre string-matching


pure-fun : Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
author: mmottl
created: 2014-07-06 16:31:52
datastructures ocaml purely-functional-data-structures


res : OCaml library for resizable arrays and strings
author: mmottl
created: 2014-07-06 17:09:23
datastructures ocaml


sqlite3-ocaml : OCaml bindings to the SQLite3 database
author: mmottl
created: 2014-07-06 17:21:13
database ocaml sqlite3


pomap : OCaml library for partially ordered maps
author: mmottl
created: 2014-07-06 18:01:01
concept-lattice datastructures hasse-diagram ocaml partial-orders


postgresql-ocaml : OCaml-bindings for the PostgreSQL database
author: mmottl
created: 2014-07-06 18:16:37
database ocaml postgresql


ppx_deriving : Type-driven code generation for OCaml >=4.02
author: ocaml-ppx
created: 2014-07-16 14:23:15
deriving ocaml


coqtactic-injectfalse : Custom tactic named "ij_injectfalse" injects False into the hypothesis
author: master-q
created: 2014-07-19 15:41:57
coq ocaml proof


spreadsheet-demo : An FRP Experiment
author: paurkedal
created: 2014-07-21 19:33:04
eliom experimental ocaml ocsigen


awesome-ocaml : A curated collection of awesome OCaml tools, frameworks, libraries and articles.
author: ocaml-community
created: 2014-07-24 12:57:22
awesome ocaml programming-language resources


kekka : An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
author: brick-lang
created: 2014-07-29 18:14:32
brick-lang experimental lambda-k ocaml type-checking type-system


llvmgraph : Ocamlgraph overlay for llvm
author: Drup
created: 2014-08-11 05:10:50
graph llvm ocaml ocamlgraph


episql : SQL schema parser and code generator
author: paurkedal
created: 2014-08-23 17:57:21
code-generator ocaml sql sql-schema-parser


lcheck : A library for quickchecking lattice modules and associated operations
author: jmid
created: 2014-08-25 18:50:30
embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more