GitHub topics: typesystems
pdferreira/tyes
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.
Language: Scala - Size: 385 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0
ucr-riple/NullAwayAnnotator
A tool to help adapting code bases to NullAway type system.
Language: Java - Size: 27.8 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 13 - Forks: 8
7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
Language: F# - Size: 110 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 163 - Forks: 8
ayaskovets/typesystems
programming language type systems implemented in Rust
Language: Rust - Size: 102 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
baberrehman/TAPL
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
Language: Coq - Size: 18.6 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0
SatyendraBanjare/ATP-proofs
Collection of explainatory example proofs for popular proof assistants.
Language: Coq - Size: 3.91 KB - Last synced at: 26 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
