type-theory topic

Book: Introduction to Dependent Types with Idris

bor0

List of resources about foundational knowledge for programmers (supposed to last a few decades)

err0r500

Neon lights in the night tonight and stars that shine in the open sky

ice1000

Towards changing things and see if it proofs

molikto

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

sdiehl

Research on integrating datalog & lambda calculus via monotonicity types

rntz

Programming Language Theory λΠ

steshaw

A React Font Awesome component.

danawoodman

Programming language agnostic type construction language based on polynomials.

typedefs

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

pikelet-lang

Cicada Language (solo version)

cicada-lang