( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
761A dependently typed programming language, a successor to Idris
567A prototype successor to Idris
344Software Foundations in Idris
303JVM bytecode back end for Idris
250𝛌 Awesome Idris resources
239Programming language agnostic type construction language based on polynomials.
209Parser combinators for Idris
190xmonad with the X11 abstracted and configured with Idris
173Collection of Idris tests and demonstration programs
163Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
148formally verified category theory library
139Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
127Sample code from "Type Driven Development with Idris"
1232048 in Idris
112Implementation of cryptographic primitives using Idris
104a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
85Various data structures for use in the Idris Language.
75Type provider library for Idris
61TParsec - Total Parser Combinators in Idris
57Recursion schemes for Idris
57HoTT in Idris
57A port of QuickCheck to Idris
57A proper network library for Idris, now that I know what I'm doing.
51Learning project by a group of people interested in learning the Idris language
48Slides and exercises for the Idris course taught at Galois
48A test framework for Idris
77 Followers 100+
0 Repos per User
repos.Total / users.Total