Pinned Loading

1. koka-lang/koka koka-lang/koka Public

   Koka language compiler and interpreter

   Haskell 3.2k 155

2. microsoft/mimalloc microsoft/mimalloc Public

   mimalloc is a compact general purpose allocator with excellent performance.

   C 10.1k 826

3. koka-lang/libmprompt koka-lang/libmprompt Public

   Robust multi-prompt delimited control and effect handlers in C/C++

   C 105 11

4. koka-lang/madoko koka-lang/madoko Public

   Madoko is a fast markdown processor for high quality academic and technical articles

   HTML 393 42

5. xnning/EvEff xnning/EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 79 5

6. koka-lang/nodec koka-lang/nodec Public

   NodeC -- A lean NodeJS in C using algebraic effect handlers.

   C 34 2