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:Prolog273 18 525
gen
Simple, efficient iterators for OCaml
Language:OCaml59 5 1510
iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Language:OCaml123 11 2112
moonpool
Commodity thread pools and concurrency primitives for OCaml 5
Language:OCaml63 4 114
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Language:OCaml513 18 22890
printbox
print nested boxes, lists, arrays, tables in several formats
Language:OCaml80 5 2510
qcheck
QuickCheck inspired property-based testing for OCaml.
Language:OCaml384 8 16744
stimsym
[toy] A rewriting language similar to the core of Mathematica
Language:OCaml53 5 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:OCaml151 10 6318

c-cube's Repositories

c-cube/stimsym
[toy] A rewriting language similar to the core of Mathematica
Language:OCaml53 5 73
c-cube/smbc
Experimental model finder/SMT solver for functional programming.
Language:OCaml23 3 6
c-cube/sqlite3_utils
[beta] High-level wrapper around ocaml-sqlite3
Language:OCaml17 4 1
c-cube/quip
[wip] Proof format and checker for first-order and higher-order theorem provers
Language:OCaml12 3 01
c-cube/seq
compatibility package for the standard OCaml iterator type
Language:OCaml11 2 95
c-cube/batsat-ocaml
OCaml bindings for batsat (https://github.com/c-cube/batsat)
Language:OCaml10 4 02
c-cube/ocaml-qbf
OCaml bindings to QBF solver(s)
Language:C10 5 44
c-cube/ocaml-atomic
Compatibility package for the Atomic module
Language:OCaml7 2 0
c-cube/andes
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
Language:OCaml4 3 3
c-cube/quip-book
Book for Quip, a proof format for first-order and higher-order theorem provers
Language:SMT3 2 0
c-cube/microsat
experiments around microsat
Language:Rust1 1 0
c-cube/bevy
A refreshingly simple data-driven game engine built in Rust
Language:Rust1 0
c-cube/crystal
The Crystal Programming Language
Language:Crystal2 0
c-cube/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Language:Rust1 0
c-cube/eio
Effects-based direct-style IO for multicore OCaml
Language:OCaml1 0
c-cube/ocaml-cstruct
Map OCaml arrays onto C-like structs
Language:OCaml1 0
c-cube/ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
Language:Rust1 0
c-cube/ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Language:OCaml2 0
c-cube/ocaml-sha
Ocaml SHA 1 and 2 family implementation using a really fast C implementation
Language:C1 0
c-cube/ocaml-zmq
ZeroMQ bindings for OCaml
Language:OCaml1 0
c-cube/ocaml.org-1
The official OCaml website.
Language:HTML1 0
c-cube/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
Language:CSS1 0
c-cube/opentelemetry.io
The OpenTelemetry website and documentation
Language:HTML1 0
c-cube/pixels
a shared pixel display controllable via UDP
Language:OCaml1 0
c-cube/pp_loc
Language:OCaml1 0
c-cube/ppxlib
Base library and tools for ppx rewriters
Language:OCaml1 0
c-cube/streams-bench
Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.
Language:OCaml1 0
c-cube/yojson
JSON parsing and pretty-printing library for OCaml
Language:OCaml
c-cube/z3
The Z3 Theorem Prover
Language:C++2 0
c-cube/z3-ocaml-multithread-test
reproduce issue #6160 for Z3-ocaml
Language:OCaml2 0