All Categories → No Category → gradual-typing

Top 3 gradual-typing open source projects

A compiler for the gradually typed lambda calculus

✭ 64

c racket shell Makefile C++M4 compiler gradual-typing grift

Interpreter of the ITGL with dynamic type inference

✭ 18

ocaml Dockerfile interpreter functional-programming repl hindley-milner dune gradual-typing type-inferece

A gradually typed language originally based on the crafting interpreters series

✭ 58

rust interpreter virtual-machine gradual-typing crafting-interpreters laythe

1-3 of 3 gradual-typing projects