c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai)washington DC
Pinned Repositories
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's Repositories
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
c-cube/printbox
print nested boxes, lists, arrays, tables in several formats
c-cube/tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
c-cube/moonpool
Commodity thread pools and concurrency primitives for OCaml 5
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
c-cube/calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
c-cube/ezcurl
A simple wrapper around OCurl.
c-cube/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
c-cube/ocaml-iostream
generic I/O streams of bytes
c-cube/ocaml-trace
Common interface for tracing/instrumentation libraries in OCaml
c-cube/fuseau
[alpha] lightweight fiber library for OCaml 5
c-cube/ocaml-gnuplot
bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
c-cube/ocaml-minisat
OCaml bindings to Minisat
c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
c-cube/thrifty
[wip] Reimplementation of thrift in OCaml
c-cube/ocaml-twirp
[wip] OCaml implementation of Twirp using ocaml-protoc
c-cube/rcontext
Per-request context, inspired from Go's
c-cube/smtlib-utils
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
c-cube/playground
various little experiments
c-cube/irky
[wip] IRC client for OCaml
c-cube/ocaml
Read-only mirror of INRIA SVN
c-cube/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
c-cube/blag
source for the blag https://blag.cedeela.fr
c-cube/cryptokit
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
c-cube/hmap
Heterogeneous value maps for OCaml
c-cube/ocaml-ambient-context
Abstraction over thread/continuation/fibre/sequence-local storage mechanisms for implicit communication context-sharing between applications and their transitive dependencies
c-cube/picos
Interoperable effects based concurrency
c-cube/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.