Projects in Awesome Lists tagged with prototype-language
A curated list of projects in awesome lists tagged with prototype-language .
https://github.com/rlepigre/subml
SubML (prototype) language
polymorphism prototype-language subtyping termination
Last synced: 09 Jul 2025
