Projects in Awesome Lists tagged with impredicative-types
A curated list of projects in awesome lists tagged with impredicative-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/yiyunliu/system-f-omega
Strong normalization and parametricity for System Fω in Coq
coq denotational-semantics impredicative-types lambda-calculus polymorphic-types type-theory
Last synced: 03 Jan 2026
