Gradual-Typing

Pinned Repositories

benchmarks
Collection of benchmarks for gradually-typed languages
Language:Racket4 3 52
Dynamizer
Dynamizer produces valid less precisely-typed versions of a valid program in Grift.
Language:Haskell1 3 01
Equivalence-of-Cast-Calculi
Language:Agda0 4 01
gradual-guarantee-proofs
Language:Dockerfile0 3 00
Grift
A compiler for the gradually typed lambda calculus
Language:C76 5 4011
gtp
NSF grant website
Language:HTML0 3 00
gtp-benchmarks
Gradual Typing Performance benchmarks
Language:Racket00
LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Language:Agda3 1 00
language-grift
Parser and pretty printer for Grift languages
Language:Haskell1 3 00
toys
An repository for collecting experiments that explore semantic choices with interpreters and models.
Language:Racket1 3 00

Gradual-Typing's Repositories

Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
Language:C76 5 4011
Gradual-Typing/benchmarks
Collection of benchmarks for gradually-typed languages
Language:Racket4 3 52
Gradual-Typing/LambdaIFCStar
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Language:Agda3 1 00
Gradual-Typing/Dynamizer
Dynamizer produces valid less precisely-typed versions of a valid program in Grift.
Language:Haskell1 3 01
Gradual-Typing/language-grift
Parser and pretty printer for Grift languages
Language:Haskell1 3 00
Gradual-Typing/toys
An repository for collecting experiments that explore semantic choices with interpreters and models.
Language:Racket1 3 00
Gradual-Typing/Equivalence-of-Cast-Calculi
Language:Agda0 4 01
Gradual-Typing/gradual-guarantee-proofs
Language:Dockerfile0 3 00
Gradual-Typing/gtp
NSF grant website
Language:HTML0 3 00
Gradual-Typing/gtp-benchmarks
Gradual Typing Performance benchmarks
Language:Racket00
Gradual-Typing/lambda-sec
Language:Agda0 3 00
Gradual-Typing/Reversible-Hypercoercions
Useful in mutable references.
Language:Agda