Different type inference algorithms implemented in F#
-
Updated
Mar 2, 2021 - F#
#
typesystems
Here are 5 public repositories matching this topic...
A tool to help adapting code bases to NullAway type system.
-
Updated
Oct 3, 2025 - Java
TyES (Type Experiment System) is a personal project in the area of type systems, aiming to provide a playground to test different type system ideas in a simple way.
-
Updated
Oct 19, 2025 - Scala
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
-
Updated
Sep 9, 2022 - Coq
Collection of explainatory example proofs for popular proof assistants.
-
Updated
Aug 21, 2018 - Coq
Improve this page
Add a description, image, and links to the typesystems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the typesystems topic, visit your repo's landing page and select "manage topics."