Pinned Repositories
effect-bench
Benchmarking algebraic effect handler implementations
FStar
An ML-like language with a type system for program verification
isocline
Isocline is a portable GNU readline alternative
mimalloc-bench
Suite for benchmarking malloc implementations.
koka
Koka language compiler and interpreter
libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
madoko
Madoko is a fast markdown processor for high quality academic and technical articles
nodec
NodeC -- A lean NodeJS in C using algebraic effect handlers.
mimalloc
mimalloc is a compact general purpose allocator with excellent performance.
EvEff
Efficient Haskell effect handlers based on evidence translation.
daanx's Repositories
daanx/mimalloc-bench
Suite for benchmarking malloc implementations.
daanx/isocline
Isocline is a portable GNU readline alternative
daanx/effect-bench
Benchmarking algebraic effect handler implementations
daanx/FStar
An ML-like language with a type system for program verification
daanx/perceus-for-ocaml-notes
daanx/madoko-test
Madoko test repository
daanx/async-context-definition
daanx/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
daanx/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
daanx/marked
A markdown parser and compiler. Built for speed.
daanx/stackage
"Stable Hackage": vetted consistent packages from Hackage