Koka Language and Related Tools
Pinned
Loading
Koka language compiler and interpreter
Haskell
3.3k
167
Repositories
Showing 7 of 7 repositories
koka
Public
Koka language compiler and interpreter
koka-lang/koka’s past year of commit activity
madoko
Public
Madoko is a fast markdown processor for high quality academic and technical articles
koka-lang/madoko’s past year of commit activity
koka-lang/AddressC’s past year of commit activity
Coq
8
MIT
1
0
0
Updated Apr 28, 2024
libmprompt
Public
Robust multi-prompt delimited control and effect handlers in C/C++
koka-lang/libmprompt’s past year of commit activity
C
111
MIT
12
4
3
Updated Nov 28, 2023
koka-lang/koka-lang.github.io’s past year of commit activity
HTML
2
MIT
0
0
0
Updated Dec 14, 2020
libhandler
Public
Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
koka-lang/libhandler’s past year of commit activity
nodec
Public
NodeC -- A lean NodeJS in C using algebraic effect handlers.
koka-lang/nodec’s past year of commit activity
C
34
2
0
0
Updated Feb 11, 2019
Most used topics
Loading…
You can’t perform that action at this time.