( 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
236JVM bytecode backend for Idris
185Software Foundations in Idris
169xmonad with the X11 abstracted and configured with Idris
162Parser combinators for Idris
142Collection of Idris tests and demonstration programs
135Koans 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.
119Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
1122048 in Idris
93Implementation of cryptographic primitives using Idris
89Sample code from "Type Driven Development with Idris"
81A little toy...
65Type provider library for Idris
65𝛌 Awesome Idris resources
62a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
60Various 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.
47Learning project by a group of people interested in learning the Idris language
47A port of QuickCheck to Idris
44Slides and exercises for the Idris course taught at Galois
44Experiments in Idris / Unity integration.
36SDL bindings package for idris
34Recursion schemes for Idris
34A test framework for Idris
32State machines in Idris
51 Followers 100+
0 Repos per User
repos.Total / users.Total