Minimalist nosql database system

A Simple Profiling Library for OCaml

Fuzzy type search for OCaml documentation

🔬 A fast, interactive web-based viewer for performance profiles.

Streaming client for OCaml's Memprof

QuestDB is a high performance, open-source, time-series database

A minimal VK API wrapper.

A framework for Telegram Bot API written in OCaml

A mixture of tooling combined to produce JavaScript from OCaml & Reason

A friendly and minimalist link sharing website

A toy operating system which supports NVDIMM natively.

Toy web browser + OS in Rust = wasabi

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

An actor-model multi-core scheduler for OCaml 5 🐫

Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

A RocksDB compliant high performance scalable embedded key-value store

FoundationDB - the open source, distributed, transactional key-value store

Shuttle is a library for testing concurrent Rust code

Failover ROS framework

Limbo is a project to build the modern evolution of SQLite.

Forge: A Tool and Language for Teaching Formal Methods

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

recurse center compiler experiments

Verified Rust for low-level systems code

2d game engine for OCaml

CDCL SAT solver in OCaml

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

EGraphs in OCaml

Assembly super-optimization via constraint solving