Awesome Open Source
Awesome Open Source

The Top 8 Idris Category Theory Open Source Projects

Categories > Mathematics > Category Theory
Topic > Idris
1-8 of 8 projects
Categories
Top Programming Languages
Top Projects