Projects in Awesome Lists tagged with type-systems
A curated list of projects in awesome lists tagged with type-systems .
https://github.com/pschanely/crosshair
An analysis tool for Python that blurs the line between testing and type systems.
concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3
Last synced: 29 Apr 2025
https://github.com/pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3
Last synced: 26 Mar 2025
https://github.com/eth-sri/type-constrained-code-generation
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
code-synthesis constrained-decoding llm type-systems
Last synced: 30 Jul 2025
https://github.com/andreypopp/type-systems
Playing with type systems
hindley-milner ocaml type-inference type-systems typeclasses
Last synced: 06 Apr 2026
https://github.com/ayazhafiz/plts
A collection of programming languages and type systems.
compiler interpreter programming-language programming-language-theory type-systems
Last synced: 19 Jun 2025
https://github.com/milesbarr/hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
hindley-milner programming-language-design programming-language-theory python type-system type-systems
Last synced: 31 Aug 2025
https://github.com/kevinwilde/type-system-workshop
Type system workshop for reactathon
static-types type-inference type-systems
Last synced: 11 Apr 2025
https://github.com/dogweather/python-exhaustiveness-adts-monads
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
mypy pattern-matching pyright python-typing type-systems
Last synced: 11 Nov 2025
https://github.com/p2js/set-theory
rust type-system set theory
rust rust-lang set-theory sets type-system type-systems
Last synced: 07 Apr 2025
https://github.com/ibrahimcesar/categorical-semantics-workbench
A tool for defining categorical structures and automatically deriving their internal type theories, proof systems, and interpreters. Specify a category, get a programming language.
category-theory code-generation compiler curry-howard lambda-calculus linear-types programming-languages rust type-systems type-theory
Last synced: 13 Jan 2026
https://github.com/lapets/course-programming-languages
Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
bnf compilers functional-programming interpreters lecture-notes parsing programming-languages static-analysis syntax type-checking type-systems
Last synced: 14 Jul 2025
