Welcome to your one-stop information source about eating raw programming languages!
SWI is dependently typed and fast programming language a that tastes like Lychee.
Scryer is dynamically typed and dependently typed programming language a that tastes like Japanese plum.
Qwik is dependently typed and optimal programming language a that tastes like Yuzu.
![]() | ![]() | ![]() | ![]() |