GitHub topics: typesystems
ucr-riple/NullAwayAnnotator
A tool to help adapting code bases to NullAway type system.
Language: Java - Size: 17.9 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 13 - Forks: 9
7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
Language: F# - Size: 110 KB - Last synced at: 13 days ago - Pushed at: about 4 years ago - Stars: 163 - Forks: 8
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: 340 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
ayaskovets/typesystems
programming language type systems implemented in Rust
Language: Rust - Size: 102 KB - Last synced at: almost 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: about 1 month ago - Pushed at: over 2 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: 2 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
