Pinned Loading

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

   Koka language compiler and interpreter

   Koka 3.6k 181

2. microsoft/mimalloc microsoft/mimalloc Public

   mimalloc is a compact general purpose allocator with excellent performance.

   C 11.8k 970

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

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

   C 122 13

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

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

   HTML 398 40

5. xnning/EvEff xnning/EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 84 5

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

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

   C 34 2