Simon Cruanes's Projects
[archive] Truly horrible old student project: a naive SAT-solver that runs on the GPU
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
Language server for NASM/GAS/GO Assembly
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
runtime library and code-generator for BARE (https://baremessages.org/)
A (parametrized) Rust SAT solver originally based on MiniSat
OCaml bindings for batsat (https://github.com/c-cube/batsat)
Batteries Included project
Tons of Inductive Problems: The Benchmarks
Bencode (.torrent file format) reader/writer in OCaml
[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).
[toy] IRC bot in rust, for my private use
[dead] Write OCaml plugins for bender
A refreshingly simple data-driven game engine built in Rust
repository for sharing bibtex files
source for the blag https://blag.cedeela.fr
Personal page (not up to date, see https://simon.cedeela.fr instead)
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
Cap'n Proto RPC implementation
[WIP] CBOR codec for OCaml
[dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
Choice operator in OCaml, providing a backtracking monad
Modern concurrency tools for Crystal
Utilities for Lwt
[toy] Random stuff from containers, low quality, experimental
Interactive theorem proving with Coq in vim.
A crystal lib for irc client
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
The Crystal Programming Language
An in-memory datalog implementation for OCaml.