Stars 8000
Haskell library for type-inference with Hindley-Milner type-system.
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
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
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…
🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml
The repository for all of the solutions to the Leetcode problems solved on my YouTube, Instagram and TikTok
A language for building concurrent software with confidence