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/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
c-cube/gen
Simple, efficient iterators for OCaml
c-cube/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
c-cube/oseq
Purely functional iterators compatible with standard `seq`.
c-cube/calculon
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
c-cube/sidekick
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
c-cube/quip
[wip] Proof format and checker for first-order and higher-order theorem provers
c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
c-cube/ocaml-qbf
OCaml bindings to QBF solver(s)
c-cube/thrifty
[wip] Reimplementation of thrift in OCaml
c-cube/poc-modular-io
proof of concept for https://github.com/ocaml/RFCs/pull/19
c-cube/ccbor
[WIP] CBOR codec for OCaml
c-cube/ldl
[TOY] loop-dee-loop, an event loop
c-cube/quip-book
Book for Quip, a proof format for first-order and higher-order theorem provers
c-cube/tiny-httpd-moonpool-bench
experiment with tiny_httpd using moonpool as a scheduler
c-cube/irky
[wip] IRC client for OCaml
c-cube/microsat
experiments around microsat
c-cube/asm-lsp
Language server for NASM/GAS/GO Assembly
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/ocaml-cstruct
Map OCaml arrays onto C-like structs
c-cube/ocaml-irc-client
OCaml IRC client library
c-cube/ocaml.org-1
The official OCaml website.
c-cube/pixels
a shared pixel display controllable via UDP
c-cube/ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
c-cube/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.
c-cube/progress
Progress bar library for OCaml
c-cube/tracy
C++ frame profiler