See what the CodeGayHub community is most excited about today.

  1. Learn you an Agda (and achieve enlightenment)

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

    Agda 210 47 Built by @favonia @ecavallo @andrejbauer @guillaumebrunerie @ericfinster
  3. The Agda standard library

    Agda 133 54 Built by @nad @asr @UlfNorell @andreasabel @MatthewDaggitt
  4. Categories parametrized by morphism equality, in Agda

    Agda 96 23 Built by @copumpkin @xplat @Saizan @mokus0 @JacquesCarette
  5. being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

    Agda 71 9 Built by @pigworker @jmchapman @bishboria
  6. ECMAScript back end for Functional Reactive Programming in Agda

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

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

    Agda 55 7 Built by @pigworker @gallais
  9. Agda 51 5 Built by @dlicata335 @emblack @guillaumebrunerie @ericfinster @DanGrayson
  10. Summer school on programming in Agda

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

    Agda 47 Built by @wadler @wenkokke
  12. Programming library for Agda

    Agda 46 16 Built by @UlfNorell @m0davis @phile314 @jespercockx @kylcarte
  13. being the materials for CS410 Advanced Functional Programming in the 2015/16 session

    Agda 41 3 Built by @pigworker @jmchapman
  14. Cryptographic Constructions in the Type Theory of Agda

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

    Agda 40 2 Built by @larrytheliquid @ntc2 @TimSheard
  16. Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

    Agda 39 2 Built by @scmu
  17. A workshop on learning Agda with minimal prerequisites.

    Agda 37 2 Built by @scott-fleischman
  18. Modeling Ancient Greek Grammar

    Agda 32 5 Built by @scott-fleischman @jimmyparks @krislyle
  19. Miller/pattern unification in Agda

    Agda 31 2 Built by @Saizan
  20. A formalization of the polymorphic lambda calculus extended with iso-recursive types

    Agda 31 5 Built by @sstucki @Blaisorblade
  21. An implementation of Functional Reactive Programming

    Agda 30 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 26 4 Built by @rodrigogribeiro
  24. Agda 25 6 Built by @pigworker
  25. Agda 24 8 Built by @Saizan @fredefox @xekoukou @gunpinyo @PaulGustafson
Other Languages
ProTip! Looking for most starred Agda repositories? Try this search