( 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
247JVM bytecode backend for Idris
196Software Foundations in Idris
171xmonad with the X11 abstracted and configured with Idris
170Parser combinators for Idris
144Collection of Idris tests and demonstration programs
136Koans 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.
121Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
1152048 in Idris
98Implementation of cryptographic primitives using Idris
94Sample code from "Type Driven Development with Idris"
93A little toy...
84𝛌 Awesome Idris resources
74a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
65Type provider library for Idris
63Various data structures for use in the Idris Language.
53HoTT in Idris
52A proper network library for Idris, now that I know what I'm doing.
48A port of QuickCheck to Idris
47Learning project by a group of people interested in learning the Idris language
45Experiments in Idris / Unity integration.
44Slides and exercises for the Idris course taught at Galois
36Recursion schemes for Idris
36SDL bindings package for idris
33A test framework for Idris
32State machines in Idris
59 Followers 100+
0 Repos per User
repos.Total / users.Total