Simple high-throughput inference library

QEMU in a Docker container.

Incremental backup with strong cryptographic confidentiality baked into the data model.

Personal branch of git://c9x.me/qbe.git

The HOL Light theorem prover

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

A static analyzer for Java, C, C++, and Objective-C

a small statically-linked linux system

A no frills stream encryption tool.

A no frills delta debugger written in myrddin.

Int compiler

LR parsing based calculators

github like contributions calendar on terminal

A minimalistic and high-performance SAT solver

(OBSOLETE) A B Compiler for x86

Disassembler Library for x86 and x86-64

Toy Green Threads for C.

Embedded web server, with TCP/IP network stack, MQTT and Websocket

A fast λΠ-modulo type checker.

An interpreter for Dedukti written in OCaml.

Haskell library to handle Lua source code (Parsing, Printing, Quasi-Quotations).

A type-checker for the λΠ-modulo calculus.

Minimalistic status bar for X11.

BitTorrent DHT bootstrap node

See OCaml type annotations in VIM as fast as C.

A small λ-calculus interpreter in C

eXtended Login Shell

BitTorrent DHT library

An encoding of the Calculus of Inductive Constructions (as implemented in Coq) in Europa.

A type-checker for the λΠ-modulo calculus.