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.
Language:Prolog268 18 524
gen
Simple, efficient iterators for OCaml
Language:OCaml59 6 159
iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Language:OCaml123 12 2112
moonpool
Commodity thread pools and concurrency primitives for OCaml 5
Language:OCaml58 5 94
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Language:OCaml508 18 22789
printbox
print nested boxes, lists, arrays, tables in several formats
Language:OCaml80 6 2210
qcheck
QuickCheck inspired property-based testing for OCaml.
Language:OCaml383 12 16341
stimsym
[toy] A rewriting language similar to the core of Mathematica
Language:OCaml54 6 73
tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
Language:OCaml81 5 3412
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.
Language:OCaml150 10 6317

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.
Language:OCaml508 18 22789
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Language:OCaml383 12 16341
c-cube/datalog
An in-memory datalog implementation for OCaml.
Language:Prolog268 18 524
c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Language:OCaml123 12 2112
c-cube/tiny_httpd
Minimal HTTP server using good old threads + blocking IO, with a small request router.
Language:OCaml81 5 3412
c-cube/printbox
print nested boxes, lists, arrays, tables in several formats
Language:OCaml80 6 2210
c-cube/moonpool
Commodity thread pools and concurrency primitives for OCaml 5
Language:OCaml58 5 94
c-cube/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
Language:OCaml34 4 1111
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
Language:Rust31 4 74
c-cube/ezcurl
A simple wrapper around OCurl.
Language:OCaml29 3 87
c-cube/ocaml-trace
Common interface for tracing/instrumentation libraries in OCaml
Language:OCaml24 2 96
c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
Language:SMT24 4 915
c-cube/thread-local-storage
thread-local storage for OCaml
Language:OCaml17 3 23
c-cube/fuseau
[alpha] lightweight fiber library for OCaml 5
Language:OCaml14 2 2
c-cube/ocaml-twirp
OCaml implementation of Twirp using ocaml-protoc
Language:OCaml6 2 0
c-cube/nanoev
nano IO event loop
Language:OCaml5
c-cube/rcontext
Per-request context, inspired from Go's
Language:OCaml5 2 0
c-cube/playground
various little experiments
Language:Rust4 2 0
c-cube/twine-data.rs
twine-data implementation for Rust
Language:Rust4
c-cube/ocaml-template
template for OCaml projects
Language:Makefile2
c-cube/ocaml
Read-only mirror of INRIA SVN
Language:OCaml1 2 0
c-cube/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell1 2 0
c-cube/playground-k8s
just playing with minikube
Language:OCaml1
c-cube/bumpalo
A fast bump allocation arena for Rust
Language:Rust
c-cube/c-cube
readme repo
1 0
c-cube/nats.ml
OCaml client for NATS, the cloud native messaging system.
c-cube/ocaml-benchmark
Benchmarking module for OCaml
Language:OCaml2 0
c-cube/ocaml-caqti
Cooperative-threaded access to relational data
c-cube/Odin
Odin Programming Language
Language:Odin0 0
c-cube/picos
Interoperable effects based concurrency
Language:OCaml1 0