type-systems
There are 16 repositories under type-systems topic.
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
andreypopp/type-systems
Playing with type systems
ergawy/types-and-programming-languages
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
ayazhafiz/plts
A collection of programming languages and type systems.
zazedd/zaml
OCaml inspired language
kevinwilde/type-system-workshop
Type system workshop for reactathon
dogweather/python-exhaustiveness-adts-monads
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
cdzombak/string-types-talk
“String is not a sufficient type: how using your type system can help you make better software”
lambduli/reading
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
michaelsippel/lib-nested
Primitives for building syntax-based, keyboard-driven editors
p2js/set-theory
rust type-system set theory
gabrieldesh/concurrent-lambda-calculus
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.
VictorZXY/cst-part-ii-types-cheat-sheet
A cheet sheet for all the typing rules covered in the CST Part II Types course
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.
nanjekyejoannah/cs.unb.ca-jnanjeky
Joannah Nanjekye