Write yourself a typed functional language
Haskell
65
1 commits
updated Oct 11, 2018
skillsmatter.com/conferences/10237-haskell-exchange-2018#skillscasts
dunhamsteve/newt
A toy dependent typed language.
50
isovector/thinking-with-types
π source material for Thinking with Types
497
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
229
dbp/funtal
FunTAL: mixing a functional language with assembly.
41
duo-lang/duo-lang
Duo - A research language exploring duality in programming language design
62
luqui/vatican
A lazy specializing virtual machine for purely functional languages
102
gibbon-compiler/gibbon
A compiler for functional programs on serialized data
177
jrslepak/Remora
Dependently-typed language with Iverson-style implicit lifting
128
99.8%
