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

Converts floating point numbers to decimal strings

An engine for displaying slips, the next-gen version of slides

Arduino Audio Tools (a powerful Audio library not only for Arduino)

A Simple ESP32 Bluetooth A2DP Library (to implement a Music Receiver or Sender) that supports Arduino, PlatformIO and Espressif IDF

Design discussions about the OCaml language