Projects in Awesome Lists tagged with typesystems
A curated list of projects in awesome lists tagged with typesystems .
https://github.com/7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
fsharp hindley-milner polymorphism typeinference typesystems
Last synced: 14 Apr 2025
https://github.com/baberrehman/tapl
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
coq locally-nameless typesystems typetheory
Last synced: 28 Dec 2025
https://github.com/satyendrabanjare/atp-proofs
Collection of explainatory example proofs for popular proof assistants.
coq homotopy-type-theory isabelle-hol proof-assistant proof-of-concept type-theory typesystems
Last synced: 24 Jul 2025
