c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
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/tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
c-cube/printbox
print nested boxes, lists, arrays, tables in several formats
c-cube/moonpool
Commodity thread pools and concurrency primitives for OCaml 5
c-cube/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
c-cube/ezcurl
A simple wrapper around OCurl.
c-cube/calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
c-cube/ocaml-trace
Common interface for tracing/instrumentation libraries in OCaml
c-cube/ocaml-iostream
generic I/O streams of bytes
c-cube/spelll
fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.
c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
c-cube/nanoev
nano IO event loop
c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
c-cube/ocaml-twirp
OCaml implementation of Twirp using ocaml-protoc
c-cube/rcontext
Per-request context, inspired from Go's
c-cube/playground
various little experiments
c-cube/twine-data.rs
twine-data implementation for Rust
c-cube/ocaml-template
template for OCaml projects
c-cube/cephalopod
[incomplete] OCaml libraries to deal with dasl.ing and ATproto.
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/bumpalo
A fast bump allocation arena for Rust
c-cube/c-cube
readme repo
c-cube/lwt
A cooperative threads library for OCaml.
c-cube/nats.ml
OCaml client for NATS, the cloud native messaging system.
c-cube/ocaml-caqti
Cooperative-threaded access to relational data
c-cube/tracy
C++ frame profiler