typedefstypedefs/typedefs
A programming language-agnostic algebraic data type definition language based on polynomials.
37118Idris
2 years agoThere are currently 3 open-source projects built with Idris, with a combined total of 886 GitHub stars. The most common language among these projects is Idris.
Showing 3 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
