Pinned Loading

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

   Koka language compiler and interpreter

   Koka 4.1k 230

2. microsoft/mimalloc microsoft/mimalloc Public

   mimalloc is a compact general purpose allocator with excellent performance.

   C 13.5k 1.2k

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

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

   C 141 17

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

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

   HTML 413 40

5. xnning/EvEff xnning/EvEff Public

   Efficient Haskell effect handlers based on evidence translation.

   Haskell 87 5

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

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

   C 38 3