C-Reduce, a C and C++ program reducer

Libbpf C-bindings for OCaml

Eio for JavaScript environments

Trace visualisation tool for Eio programs

🔍 Colourful visualization tool for binary files

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Static analysis framework for C

OCaml C stub static analyzer

Veracruz branches of https://gitlab.com/arm-research/security/icecap/icecap

A presenter console with multi-monitor support for PDF files.

borb is a library for reading, creating and manipulating PDF files in python.

NixOS MicroVMs

ah yes, effect handlers in unikernels

Inspirational Mapping

jq for binary formats - tool, language and decoders for working with binary and text formats

OpenLLaMA, a permissively licensed open source reproduction of Meta AI’s LLaMA 7B trained on the RedPajama dataset

A scheduler independent blocking mechanism

Dependency graphs for OCaml modules, libraries and packages

Monitor Eio programs

Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)

Experimental effects-based wonderful webserver

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…

Lock-free Sets and Maps for OCaml multicore

OCaml-focused, custom nix-overlays

Counterexamples in Type Systems

OpenSSL bindings to OCaml EIO

An OCaml mutation tester

Turn opam-based OCaml projects into Nix derivations