Pinned Loading

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

   Koka language compiler and interpreter

   Koka 3.8k 194

2. microsoft/mimalloc microsoft/mimalloc Public

   mimalloc is a compact general purpose allocator with excellent performance.

   C 12.4k 1.1k

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

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

   C 131 15

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

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

   HTML 406 41

5. xnning/EvEff xnning/EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 86 5

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

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

   C 37 3