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/IKSML
[toy] industrial-strength implementation of the SKI calculus, using XML
c-cube/indexed-set
OCaml implementation of indexed sets (inspired from Haskell's ixSet library)
c-cube/ty
[draft] dynamic representation of types
c-cube/ocaml-chord
[unfinished] Chord DHT implementation in OCaml (not production-ready)
c-cube/ocaml-ty
[clone] Fork of ocaml-ty by Grégoire Henry (original url https://gitorious.org/ocaml-ty/)
c-cube/ocaml-aig
[toy] And-Inverter Graph in OCaml
c-cube/tomato-chan
[wip] IRC bot.
c-cube/unif-visitor
Playground for visitors on terms
c-cube/Ocaml-simplex
An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.
c-cube/ppx_deriving_cconv
[deprecated] ppx_deriving instance for CConv encoders/decoders
c-cube/abrasatcuda
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
c-cube/dolog
A dumb OCaml logger
c-cube/jsonm
Mirrors http://erratique.ch/repos/jsonm/ no pull requests, please send patches by email.
c-cube/lean
Lean Theorem Prover
c-cube/lwt_scheduler
Utils to schedule tasks in the future, using Lwt
c-cube/mixtbl
Statically-typed heterogenous hash table
c-cube/ocaml-git
Pure OCaml low-level git bindings
c-cube/operf-micro
A set of micro-benchmarks for OCaml compiler
c-cube/ppx_deriving
Type-driven code generation for OCaml >=4.02
c-cube/random-generator
A small OCaml library to randomly generate values
c-cube/rre-rms
Rider Rider Evolution: Richard Stallman Edition
c-cube/tstp-proof-checker
[old] a simple OCaml proof-checker for TSTP cnf/fof derivations. It calls external provers to check every proof step.