Pinned Repositories
benchmarks
Collection of benchmarks for gradually-typed languages
Dynamizer
Dynamizer produces valid less precisely-typed versions of a valid program in Grift.
Equivalence-of-Cast-Calculi
gradual-guarantee-proofs
Grift
A compiler for the gradually typed lambda calculus
gtp
NSF grant website
gtp-benchmarks
Gradual Typing Performance benchmarks
LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
language-grift
Parser and pretty printer for Grift languages
toys
An repository for collecting experiments that explore semantic choices with interpreters and models.
Gradual-Typing's Repositories
Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
Gradual-Typing/benchmarks
Collection of benchmarks for gradually-typed languages
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Gradual-Typing/Dynamizer
Dynamizer produces valid less precisely-typed versions of a valid program in Grift.
Gradual-Typing/language-grift
Parser and pretty printer for Grift languages
Gradual-Typing/toys
An repository for collecting experiments that explore semantic choices with interpreters and models.
Gradual-Typing/Equivalence-of-Cast-Calculi
Gradual-Typing/gradual-guarantee-proofs
Gradual-Typing/gtp
NSF grant website
Gradual-Typing/gtp-benchmarks
Gradual Typing Performance benchmarks
Gradual-Typing/lambda-sec
Gradual-Typing/Reversible-Hypercoercions
Useful in mutable references.