( 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
361A prototype successor to Idris
280Software Foundations in Idris
273JVM bytecode back end for Idris
193Parser combinators for Idris
183xmonad with the X11 abstracted and configured with Idris
153Collection of Idris tests and demonstration programs
149Koans 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.
128Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
127𝛌 Awesome Idris resources
1162048 in Idris
109Implementation of cryptographic primitives using Idris
100Sample code from "Type Driven Development with Idris"
95a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
74Various data structures for use in the Idris Language.
70Type provider library for Idris
54A proper network library for Idris, now that I know what I'm doing.
52A port of QuickCheck to Idris
50TParsec - Total Parser Combinators in Idris
50HoTT in Idris
49Learning project by a group of people interested in learning the Idris language
47Recursion schemes for Idris
47Experiments in Idris / Unity integration.
44Slides and exercises for the Idris course taught at Galois
39SDL bindings package for idris
39A test framework for Idris
39Programming language agnostic type construction language based on polynomials.
70 Followers 100+
0 Repos per User
repos.Total / users.Total