GitHub topics: meta-theory
namin/dot
formalization of the Dependent Object Types (DOT) calculus
Size: 4.57 MB - Last synced at: 4 days ago - Pushed at: over 8 years ago - Stars: 158 - Forks: 12
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Language: Agda - Size: 971 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 4 - Forks: 1
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
Language: Dafny - Size: 218 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 25 - Forks: 3
namin/unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Language: HTML - Size: 257 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 75 - Forks: 5
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
Language: OCaml - Size: 4.54 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 90 - Forks: 19
