pschanely/CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

Language: Python - Size: 4.74 MB - Last synced at: 12 days ago - Pushed at: 14 days ago - Stars: 1,110 - Forks: 59

Gradual-Typing/LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

Language: Agda - Size: 971 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 4 - Forks: 1

milesbarr/hindley-milner-in-python

Hindley–Milner type inference implemented in Python.

Language: Python - Size: 5.86 KB - Last synced at: 24 days ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 1

andreypopp/type-systems

Playing with type systems

Language: OCaml - Size: 199 KB - Last synced at: 8 days ago - Pushed at: 4 months ago - Stars: 50 - Forks: 2

p2js/set-theory

rust type-system set theory

Language: Rust - Size: 8.79 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

ergawy/types-and-programming-languages

C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..

Language: C++ - Size: 339 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 34 - Forks: 2

evermake/diploma

Language: TeX - Size: 167 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

hurryabit/felix

Playground for compiler frontend and programming language experiments.

Language: Rust - Size: 574 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

ayazhafiz/plts

A collection of programming languages and type systems.

Language: OCaml - Size: 160 MB - Last synced at: 21 days ago - Pushed at: 8 months ago - Stars: 33 - Forks: 4

lambduli/reading

My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.

Size: 122 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

dogweather/python-exhaustiveness-adts-monads

Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright

Language: Python - Size: 59.6 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0

kevinwilde/type-system-workshop

Type system workshop for reactathon

Language: TypeScript - Size: 57.6 KB - Last synced at: 12 days ago - Pushed at: over 3 years ago - Stars: 6 - Forks: 1

michaelsippel/lib-nested

Primitives for building syntax-based, keyboard-driven editors

Language: Rust - Size: 1.05 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

nanjekyejoannah/cs.unb.ca-jnanjeky Fork of alisiahkoohi/alisiahkoohi.github.io

Joannah Nanjekye

Language: HTML - Size: 17.8 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

cdzombak/string-types-talk 📦

“String is not a sufficient type: how using your type system can help you make better software”

Size: 2.24 MB - Last synced at: 2 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 0

VictorZXY/cst-part-ii-types-cheat-sheet

A cheet sheet for all the typing rules covered in the CST Part II Types course

Language: TeX - Size: 1010 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

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.

Language: HTML - Size: 324 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 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.

Language: Python - Size: 268 KB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 6