Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

Lambda-Mountain-Compiler-Backend/LSTS

Large Scale Type Systems: ML/C Hybrid Programming Language

Propriétaire: Lambda-Mountain-Compiler-Backend (organisation)
Étoiles: Étoiles : 125
Forks: Forks : 3
Langage: Sans langage
Licence: MIT
Création: 2021
Sujets: asttype-checkingtheorem-proverrustcategory-theoryerror-reportinglexerlintparserlambda-calculus
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang