Welcome to your one-stop information source about eating raw programming languages!
Nim is imperative and lazy programming language a that tastes like Kumquat.
C3 is staticly type and dependently typed programming language a that tastes like Bilberry.
SWI is functional and dependently typed programming language a that tastes like Tayberry.