type-systems

There are 2 repositories under type-systems topic.

CrossHair
pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
python static-analysis testing-framework symbolic-execution type-systems fuzzing contracts dynamic-analysis testing z3 concolic-execution hacktoberfest
Language:Python 944
andreypopp / type-systems
Playing with type systems
type-systems hindley-milner typeclasses ocaml type-inference
Language:OCaml 42
ergawy / types-and-programming-languages
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
type-systems programming-languages compilers interpreters lexer cpp parser interpreter
Language:C++ 34
ayazhafiz / plts
A collection of programming languages and type systems.
compiler interpreter programming-language programming-language-theory type-systems
Language:OCaml 29
kevinwilde / type-system-workshop
Type system workshop for reactathon
type-systems static-types type-inference
Language:TypeScript 6
dogweather / python-exhaustiveness-adts-monads
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
python-typing pattern-matching mypy pyright type-systems
Language:Python 4
zazedd / zaml
OCaml inspired language
hindley-milner ocaml programming-language statically-typed type-systems
Language:OCaml 3
cdzombak / string-types-talk
“String is not a sufficient type: how using your type system can help you make better software”
type-safety type-systems
1
lambduli / writing
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
haskell logic programming-languages type-systems type-theory programming-language-theory proof-theory formal-reasoning
1
michaelsippel / lib-nested
Primitives for building syntax-based, keyboard-driven editors
editor shell structured type-system type-systems editors interactive interface development-environment integrated-development-environment projectional-editor tree-editor syntax-directed-editing
Language:Rust 1
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.
lambda-calculus session-types concurrent-programming linear-types programming-languages formal-semantics type-systems
Language:HTML 0
VictorZXY / cst-part-ii-types-cheat-sheet
A cheet sheet for all the typing rules covered in the CST Part II Types course
type-systems type-theory
Language:TeX 0
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.
lecture-notes programming-languages compilers type-systems type-checking interpreters static-analysis syntax parsing bnf functional-programming
Language:Python
nanjekyejoannah / cs.unb.ca-jnanjeky
Joannah Nanjekye
garbage-collection programming-languages python type-systems
Language:HTML