Explore @Gradual-Typing Open Source projects

@Gradual-Typing

Gradual-Typing

Stars
86
Global Org. Rank 62,058 (Top 20 %)
Registered about 7 years ago
Most used languages

Racket
33.3 %

Haskell
33.3 %

C
16.7 %

Agda 16.7 %

Grift

A compiler for the gradually typed lambda calculus

benchmarks

Collection of benchmarks for gradually-typed languages

LambdaIFCStar

The Agda mechanization of a gradual security-typed programming language with general mutable references.

toys

An repository for collecting experiments that explore semantic choices with interpreters and models.

Dynamizer

Dynamizer produces valid less precisely-typed versions of a valid program in Grift.

language-grift

Parser and pretty printer for Grift languages