A heap allocator for embedded systems

A Lean library for Computer Science

Nix overlay for Lean 4, and lake2nix

Dotfiles for my Hyprland config

⚙️🦀 Build modular and scalable LLM Applications in Rust

Finally a Fast Fuzzy File Finder for neovim

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

mobile haskell user guide

Haskell implemented with combinators

🧮 Path to a free self-taught education in Mathematics!

Haskell library for type-inference with Hindley-Milner type-system.

Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.

High performance UI layout library in C.

🎓 Web app to help teach HM type inference

Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

Embedded development with Ivory Tower

Minimalist ML framework for Rust

Rust implementation of an SH1107 driver targetting Rust's embedded-hal and embassy-rs

AeroSpace is an i3-like tiling window manager for macOS

Pure OCaml implementation of the Open Sound Control protocol

Obsidian 🤝 Neovim

OCaml bindings for the Neovim API

Simple matrix client in nvim

BIOS for the Neotron Pico

A no_std graphics library for embedded applications

Faust for WebAudio written in TypeScript

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…