c-cube

datalog

An in-memory datalog implementation for OCaml.

gen

Simple, efficient iterators for OCaml

iter

Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

moonpool

Commodity thread pools and concurrency primitives for OCaml 5

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

printbox

print nested boxes, lists, arrays, tables in several formats

qcheck

QuickCheck inspired property-based testing for OCaml.

stimsym

[toy] A rewriting language similar to the core of Mathematica

tiny_httpd

Minimal HTTP server using good old threads + blocking IO, with a small request router.

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

c-cube/hashset_benchs

Reproducing https://www.reddit.com/r/rust/comments/4dd5yl/rust_vs_f_hashset_benchmark/

c-cube/oasis-parser

Simple parser for _oasis files

c-cube/space_camels

[toy] Tiny game built to try notty

c-cube/bender

[toy] IRC bot in rust, for my private use

c-cube/containers-lwt

Utilities for Lwt

c-cube/containers-misc

[toy] Random stuff from containers, low quality, experimental

c-cube/paradox

[clone] model finder for first-order logic, from http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~koen/paradox/

c-cube/vim-tptp

Vim syntax file for the TPTP logic format (http://www.cs.miami.edu/~tptp/)

c-cube/bencode_rpc

[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).

c-cube/bender-ocaml

[dead] Write OCaml plugins for bender

c-cube/batteries-included

Batteries Included project

c-cube/ocaml-irclog

parsing IRC logs as produced by irssi

c-cube/ocaml-polynomials

[toy] Toy implementation of multi-variable polynomials over Z

c-cube/awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

c-cube/benchmarks

Tons of Inductive Problems: The Benchmarks

c-cube/bencode

Bencode (.torrent file format) reader/writer in OCaml

c-cube/bibtex

repository for sharing bibtex files

c-cube/dolmen

A library providing parser for languages such as dimacs, tptp, smtlib

c-cube/hbmc

Haskell Bounded Model Checker

c-cube/lelelemanifesto

c-cube/manual-ocamlbuild

A new reference manual for the ocamlbuild tool

c-cube/oasis

Cabal like system for OCaml

c-cube/ocaml-hamt

Mirror of: http://gitorious.org/ocaml-hamt/ocaml-hamt

c-cube/ocaml-tls

TLS in pure OCaml

c-cube/ocamlbuild

OCamlbuild

c-cube/ocp-indent-vim

Integration of ocp-indent to vim.

c-cube/onanomsg

nanomsg bindings for ocaml

c-cube/opium

Sinatra like web toolkit for OCaml

c-cube/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

c-cube/rayml

A raytracer written in OCaml