See what the CodeGayHub community is most excited about today.

  1. Learn you an Agda (and achieve enlightenment)

    Agda 276 35 Built by @liamoc @sordina @evelynmitchell
  2. Development of homotopy type theory in Agda

    Agda 194 46 Built by @favonia @ecavallo @andrejbauer @guillaumebrunerie @ericfinster
  3. The Agda standard library

    Agda 126 52 Built by @nad @asr @UlfNorell @andreasabel @np
  4. Categories parametrized by morphism equality, in Agda

    Agda 94 23 Built by @copumpkin @xplat @Saizan @mokus0 @JacquesCarette
  5. ECMAScript back end for Functional Reactive Programming in Agda

    Agda 63 7 Built by @larrytheliquid @andreasabel
  6. Companion code for "Why Dependent Types Matter" paper.

    Agda 59 4 Built by @jstolarek @markus1189
  7. being the materials for CS410 Advanced Functional Programming in the 2014-15 session

    Agda 55 7 Built by @pigworker @gallais
  8. Agda 52 4 Built by @dlicata335 @emblack @guillaumebrunerie @ericfinster @DanGrayson
  9. Summer school on programming in Agda

    Agda 49 13 Built by @UlfNorell @andorp @IgnoredAmbience
  10. Port of Software Foundations to Agda

    Agda 44 1 Built by @wadler @wenkokke
  11. being the materials for CS410 Advanced Functional Programming in the 2015/16 session

    Agda 42 3 Built by @pigworker @jmchapman
  12. Programming library for Agda

    Agda 42 16 Built by @UlfNorell @m0davis @phile314 @jespercockx @kylcarte
  13. Cryptographic Constructions in the Type Theory of Agda

    Agda 41 5 Built by @np @Danten @lron @gitter-badger @diakopter
  14. The Spire Programming Language

    Agda 37 2 Built by @larrytheliquid @ntc2 @TimSheard
  15. A workshop on learning Agda with minimal prerequisites.

    Agda 36 2 Built by @scott-fleischman
  16. Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

    Agda 34 2 Built by @scmu
  17. Modeling Ancient Greek Grammar

    Agda 31 5 Built by @scott-fleischman @jimmyparks @krislyle
  18. A formalization of the polymorphic lambda calculus extended with iso-recursive types

    Agda 30 5 Built by @sstucki @Blaisorblade
  19. being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

    Agda 30 4 Built by @pigworker @jmchapman
  20. Miller/pattern unification in Agda

    Agda 29 2 Built by @Saizan
  21. An implementation of Functional Reactive Programming

    Agda 28 1 Built by @mvcisback @andreasabel
  22. being the notes and materials for CS410 in the 2013/14 academic session

    Agda 26 3 Built by @pigworker @stevana
  23. Porting of software foundations book to Agda

    Agda 25 4 Built by @rodrigogribeiro
  24. Agda 24 6 Built by @pigworker
  25. Agda 23 7 Built by @Saizan @xekoukou @gunpinyo @fredefox @PaulGustafson
Other Languages
ProTip! Looking for most forked Agda repositories? Try this search