An analysis tool for Python that blurs the line between testing and type systems.
A garden of small programming language implementations 🪴
Tiny ML, Rust types, and category theory, executable structure, not AI magic.
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
Playing with type systems
A collection of programming languages and type systems.
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
Hindley–Milner type inference implemented in Python.
OCaml inspired language
Type system workshop for reactathon
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
Experimental language for exploring scoped effects, named scopes, and coeffects
Naming is programming. Renaming a field changes what the model computes. Alpha equivalence breaks when the compilation target reads natural language.
TLC SRC — The software industry is broken — let's reboot the industry instead of our programs!
Resource-safe, effect-typed programs in syntax you already know. A checked affine core with familiar Faces — JavaScript-, Python-, functional-, and pseudocode-shaped surfaces — compiling to typed WebAssembly.
Python-syntax AffineScript — write Python-style code, get affine resource guarantees and typed WASM
“String is not a sufficient type: how using your type system can help you make better software”
A repository of sample languages with coeffect type systems
rust type-system set theory
Add a description, image, and links to the type-systems topic page so that developers can more easily learn about it.
To associate your repository with the type-systems topic, visit your repo's landing page and select "manage topics."