A language for building concurrent software with confidence

Modern embedded framework, using Rust and async.

Minimalist ML framework for Rust

A Lean library for Computer Science

Haskell implemented with combinators

A markup-based typesetting system that is powerful and easy to learn.

Faust for WebAudio written in TypeScript

A flexible distributed key-value database that is optimized for caching and other realtime workloads.

⚙️🦀 Build modular and scalable LLM Applications in Rust

AeroSpace is an i3-like tiling window manager for macOS

Effects-based direct-style IO for multicore OCaml

Finally a Fast Fuzzy File Finder for neovim

A no_std graphics library for embedded applications

OCaml bindings for the Neovim API

Hardcaml is an OCaml library for designing hardware.

Curated list of resources for ESP32 development in the Rust programming language

Nix overlay for Lean 4, and lake2nix

High performance UI layout library in C.

A parser for Generalized S-Expressions.

OCaml extensions in Rust

🎓 Web app to help teach HM type inference

Dotfiles for my Hyprland config

Documentation compiler for OCaml and Reason

A rust crate to create a pure rust keyboard firmware.

The repository for all of the solutions to the Leetcode problems solved on my YouTube, Instagram and TikTok

Composable image processing library for OCaml

A heap allocator for embedded systems

Declarative data visualization for OCaml (experiment, unreleased)