type-systems
Here are 35 public repositories matching this topic...
An analysis tool for Python that blurs the line between testing and type systems.
-
Updated
Jun 26, 2026 - Python
A garden of small programming language implementations 🪴
-
Updated
Jun 28, 2026 - OCaml
Tiny ML, Rust types, and category theory, executable structure, not AI magic.
-
Updated
May 20, 2026 - Rust
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
-
Updated
Mar 11, 2026 - Python
Playing with type systems
-
Updated
Dec 29, 2024 - OCaml
A collection of programming languages and type systems.
-
Updated
May 11, 2025 - OCaml
C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
-
Updated
May 21, 2020 - C++
Hindley–Milner type inference implemented in Python.
-
Updated
Jun 7, 2023 - Python
OCaml inspired language
-
Updated
Dec 10, 2023 - OCaml
Type system workshop for reactathon
-
Updated
Oct 5, 2021 - TypeScript
The Agda mechanization of a gradual security-typed programming language with general mutable references.
-
Updated
Apr 5, 2025 - Agda
Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
-
Updated
Feb 11, 2023 - Python
Resource-safe, effect-typed programs in syntax you already know. A checked affine core with familiar Faces — JavaScript-, Python-, functional-, and pseudocode-shaped surfaces — compiling to typed WebAssembly.
-
Updated
Jun 28, 2026 - OCaml
Experimental language for exploring scoped effects, named scopes, and coeffects
-
Updated
Jun 14, 2026 - Rust
TLC SRC — The software industry is broken — let's reboot the industry instead of our programs!
-
Updated
Sep 28, 2025 - CSS
Naming is programming. Renaming a field changes what the model computes. Alpha equivalence breaks when the compilation target reads natural language.
-
Updated
Jun 3, 2026 - Python
Python-syntax AffineScript — write Python-style code, get affine resource guarantees and typed WASM
-
Updated
Jun 27, 2026 - Just
“String is not a sufficient type: how using your type system can help you make better software”
-
Updated
Jan 15, 2016
Primitives for building syntax-based, keyboard-driven editors
-
Updated
Aug 6, 2024 - Rust
rust type-system set theory
-
Updated
Jan 30, 2025 - Rust
Improve this page
Add a description, image, and links to the type-systems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-systems topic, visit your repo's landing page and select "manage topics."