( 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
571A prototype successor to Idris
540A dependently typed programming language, a successor to Idris
336Software Foundations in Idris
298JVM bytecode back end for Idris
214Programming language agnostic type construction language based on polynomials.
212𝛌 Awesome Idris resources
204Parser combinators for Idris
188xmonad with the X11 abstracted and configured with Idris
169Collection of Idris tests and demonstration programs
162Koans 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.
134Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
1212048 in Idris
119Sample code from "Type Driven Development with Idris"
111Implementation of cryptographic primitives using Idris
102a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
97formally verified category theory library
81Various data structures for use in the Idris Language.
74Type provider library for Idris
57TParsec - Total Parser Combinators in Idris
57HoTT in Idris
56A proper network library for Idris, now that I know what I'm doing.
54Recursion schemes for Idris
54A port of QuickCheck to Idris
51Learning project by a group of people interested in learning the Idris language
47Slides and exercises for the Idris course taught at Galois
47Experiments in Idris / Unity integration.
74 Followers 100+
0 Repos per User
repos.Total / users.Total