See what the GitHub community is most excited about today.

  1. A prototype successor to Idris

    Idris 357 20 Built by @edwinb @ahmadsalim @jdevuyst @ggreif @jfdm
  2. Software Foundations in Idris

    Idris 280 16 Built by @yurrriq @clayrat @anton-trunov @ehamberg @jfdm
  3. JVM bytecode back end for Idris

    Idris 273 11 Built by @mmhelloworld @nightscape @gitter-badger @harveywi @xran-deex
  4. Parser combinators for Idris

    Idris 193 38 Built by @ziman @jfdm @david-christiansen @timjb @Melvar
  5. xmonad with the X11 abstracted and configured with Idris

    Idris 183 8 Built by @puffnfresh @sleepynate
  6. Collection of Idris tests and demonstration programs

    Idris 153 11 Built by @edwinb
  7. Koans 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.

    Idris 149 24 Built by @jfdm @gramosg @pseudonom
  8. Type-safe physical computations and unit conversions in Idris ⚖ 🌡 🔋 📐

    Idris 128 8 Built by @timjb @ethansr @iblech @matheus23
  9. 𝛌 Awesome Idris resources

    Idris 126 10 Built by @joaomilho @clayrat @gpoussel @prashantpawar @xaviervia
  10. 2048 in Idris

    Idris 116 10 Built by @KesterTong @tbeddy @bfontaine @bgilb @nathanpeck
  11. Implementation of cryptographic primitives using Idris

    Idris 109 9 Built by @sellout @esmooov @jfdm @clayrat @gitter-badger
  12. Sample code from "Type Driven Development with Idris"

    Idris 100 25 Built by @edwinb @mknoszlig
  13. a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

    Idris 95 3 Built by @joom
  14. Various data structures for use in the Idris Language.

    Idris 74 15 Built by @jfdm @ahmadsalim @mgttlinger @jackolantern @raineorshine
  15. FFI Bindings to interact with the unsafe world of JavaScript

    Idris 74 9 Built by @raichoo @jhegedus42 @edwinb @Melvar @yacinehmito
  16. Type provider library for Idris

    Idris 70 6 Built by @david-christiansen @LeifW
  17. A proper network library for Idris, now that I know what I'm doing.

    Idris 54 8 Built by @SimonJF @defanor @LeifW
  18. A port of QuickCheck to Idris

    Idris 52 7 Built by @david-christiansen
  19. TParsec - Total Parser Combinators in Idris

    Idris 50 2 Built by @gallais @clayrat
  20. HoTT in Idris

    Idris 50 4 Built by @fmota @Melvar
  21. Learning project by a group of people interested in learning the Idris language

    Idris 49 12 Built by @ToJans @ascjones @aschlapsi @klimisa @bartul
  22. Experiments in Idris / Unity integration.

    Idris 47 1 Built by @bamboo
  23. Recursion schemes for Idris

    Idris 47 4 Built by @vmchale @xgrommx
  24. Slides and exercises for the Idris course taught at Galois

    Idris 44 Built by @david-christiansen
  25. A test framework for Idris

    Idris 39 8 Built by @pheymann @brandondyck @vmchale @dcao @coder543
Other Languages
ProTip! Looking for most starred Idris repositories? Try this search