( 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
261JVM bytecode backend for Idris
225Software Foundations in Idris
183Parser combinators for Idris
181xmonad with the X11 abstracted and configured with Idris
153Collection of Idris tests and demonstration programs
146Koans 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.
142A prototype successor to Idris
126Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
1182048 in Idris
103Implementation of cryptographic primitives using Idris
100𝛌 Awesome Idris resources
98Sample code from "Type Driven Development with Idris"
89a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
67Type provider library for Idris
66Various data structures for use in the Idris Language.
53A proper network library for Idris, now that I know what I'm doing.
51HoTT in Idris
50A port of QuickCheck to Idris
48Learning project by a group of people interested in learning the Idris language
46Experiments in Idris / Unity integration.
45Slides and exercises for the Idris course taught at Galois
43TParsec - Total Parser Combinators in Idris
41Recursion schemes for Idris
39SDL bindings package for idris
37A test framework for Idris
64 Followers 100+
0 Repos per User
repos.Total / users.Total