GitHub topics: meta-theory
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
Language: Dafny - Size: 229 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 26 - Forks: 3
namin/dot
formalization of the Dependent Object Types (DOT) calculus
Size: 4.57 MB - Last synced at: 7 days ago - Pushed at: almost 9 years ago - Stars: 161 - Forks: 12
namin/unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
Language: HTML - Size: 257 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 76 - Forks: 5
namin/grk2clj
From Greek to Clojure, Clojure/conj 2013
Language: TeX - Size: 145 KB - Last synced at: 7 days ago - Pushed at: over 10 years ago - Stars: 16 - Forks: 0
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
Language: OCaml - Size: 4.51 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 95 - Forks: 19
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: 5 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1
