( 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
445A prototype successor to Idris
296Software Foundations in Idris
277JVM bytecode back end for Idris
196Parser combinators for Idris
184xmonad with the X11 abstracted and configured with Idris
158Collection of Idris tests and demonstration programs
155Koans 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.
143𝛌 Awesome Idris resources
130Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
1172048 in Idris
110Implementation of cryptographic primitives using Idris
107Sample code from "Type Driven Development with Idris"
97a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
77Various data structures for use in the Idris Language.
74Compiler for the Mirth programming language, a type-safe functional Forth.
72Type provider library for Idris
56A proper network library for Idris, now that I know what I'm doing.
52A port of QuickCheck to Idris
51Recursion schemes for Idris
51Learning project by a group of people interested in learning the Idris language
51HoTT in Idris
50TParsec - Total Parser Combinators in Idris
48Programming language agnostic type construction language based on polynomials.
47Experiments in Idris / Unity integration.
45Slides and exercises for the Idris course taught at Galois
41SDL bindings package for idris
70 Followers 100+
0 Repos per User
repos.Total / users.Total