Lists (11)
Stars
Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
A collection of awesome Haskell videos. Inspired by awesome projects line.
A library for building fast, reliable and evolvable network services.
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Algebraic effects in the Bluefin effect system
A static analyzer for Java, C, C++, and Objective-C
A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
A proof assistant and a dependently-typed language
being the teaching materials and exercises for CS410 in the 2021/22 session
Materials for the BOBkonf 2024 tutorial on staging
More stable versions of some articles from my blog
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!