Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by Gradual-Typing

A curated list of projects in awesome lists by Gradual-Typing .

https://github.com/Gradual-Typing/Grift

A compiler for the gradually typed lambda calculus

compiler gradual-typing grift

Last synced: 22 Apr 2025