Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

Lambda-Mountain-Compiler-Backend/LSTS

Large Scale Type Systems: ML/C Hybrid Programming Language

Owner: Lambda-Mountain-Compiler-Backend (organization)
Stars: Stars: 125
Forks: Forks: 3
Language: No language
License: MIT
Created: 2021
Topics: asttype-checkingtheorem-proverrustcategory-theoryerror-reportinglexerlintparserlambda-calculus
Tier: Prototype (100 to 249 ★) What this tier means