Repository navigation
type-systems
- Website
- Wikipedia
An analysis tool for Python that blurs the line between testing and type systems.
A garden of small programming language implementations 🪴
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
Playing with type systems
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
A collection of programming languages and type systems.
Hindley–Milner type inference implemented in Python.
Type system workshop for reactathon
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
The Agda mechanization of a gradual security-typed programming language with general mutable references.
“String is not a sufficient type: how using your type system can help you make better software”
Primitives for building syntax-based, keyboard-driven editors
Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
Hindley-Milner-style Type Inference with Levels for Generic Abstract Syntax with Binders
✨ Companion repository for the DIBS course on software library design. Code is in English for accessibility; course is taught in Spanish.
A cheet sheet for all the typing rules covered in the CST Part II Types course
Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
Playground for compiler frontend and programming language experiments.