A hardware-aware guide to data structures for system software engineers.

A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator

Modular compact automated filament changer for klipper 3d printers

Automated Filament Changer Software

Rust implementations of succinct data structures

Create and manage Linux Memory Mapped Files

OCaml library to work with DWARF format

Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding protobuf messages

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

Diff/AST: A fine-grained source code differencing tool

Command-like expressions for real infinite-precision calculations

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Comparison of different MPHF algorithms

Audio MODEM Communication Library in Python

Open Source framework for voice and multimodal conversational AI

libvim: The core Vim editing engine as a minimal C library

Freestanding OCaml runtime

MirageOS is a library operating system that constructs unikernels

The Fortanix Rust Enclave Development Platform

Just In Time compiler for OCaml native toplevel

OCaml-bindings for the PostgreSQL database

Spacemacs like keybindings for Visual Studio Code

A framework for distributed systems verification, with fault injection

Black-box transactional safety checker based on cycle detection

egraphs + datalog!

OCaml - Oxidized!

a general blog about my projects, or anything

NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB

PtrHash minimal perfect hash function

A Multidirectional 5-Axis 3D Printer