type-theory topic
gidti
Book: Introduction to Dependent Types with Idris
foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
guest0x0
Neon lights in the night tonight and stars that shine in the open sky
mlang
Towards changing things and see if it proofs
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
datafun
Research on integrating datalog & lambda calculus via monotonicity types
plt
Programming Language Theory λΠ
react-fontawesome
A React Font Awesome component.
typedefs
Programming language agnostic type construction language based on polynomials.
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
cicada-solo
Cicada Language (solo version)