Projects in Awesome Lists tagged with structural-types
A curated list of projects in awesome lists tagged with structural-types .
https://github.com/polytypic/f-omega-mu
Fωμ type checker and compiler
equirecursive-types higher-kinded-types hobby-project impredicative-types structural-types type-system wip
Last synced: 10 Aug 2025
https://github.com/owaismohsin001/czariscript
A functional/OO programming language with global subtype inference
inheritance prototypes structural-types subtype subtype-inference type-inference
Last synced: 28 Mar 2025
