Projects in Awesome Lists tagged with coinductive-types
A curated list of projects in awesome lists tagged with coinductive-types .
https://github.com/alexkeizer/QPFTypes
A WIP definitional (co)datatype package for Lean4
codatatypes coinduction coinductive-types datatypes lean lean4
Last synced: 31 Mar 2026
https://github.com/gallais/agda-sizedio
IO using sized types and copatterns
agda bindings coinductive-types directory-tree experimental filepath input-output sized-types
Last synced: 07 Jan 2026
