Different type inference algorithms implemented in F#
-
Updated
Mar 2, 2021 - F#
#
typesystems
Here are 6 public repositories matching this topic...
A tool to help adapting code bases to NullAway type system.
-
Updated
Jan 4, 2026 - Java
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
-
Updated
Sep 9, 2022 - Coq
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
Collection of explainatory example proofs for popular proof assistants.
-
Updated
Aug 21, 2018 - Coq
Java-based interpreter for a custom statically typed language, implementing a type checker that validates programs before execution.
-
Updated
Feb 4, 2026 - Java
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."