Trending in open source

See what the CodeGayHub community is most excited about today.

Sign up for free to get started

  1. Learn you an Agda (and achieve enlightenment)

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

    Agda 184 45 Built by @favonia @ecavallo @andrejbauer @guillaumebrunerie @ericfinster
  3. The Agda standard library

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

    Agda 91 23 Built by @copumpkin @xplat @Saizan @mokus0 @JacquesCarette
  5. Companion code for "Why Dependent Types Matter" paper.

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

    Agda 54 6 Built by @pigworker @gallais
  7. Agda 50 4 Built by @dlicata335 @emblack @guillaumebrunerie @ericfinster @DanGrayson
  8. Summer school on programming in Agda

    Agda 46 14 Built by @UlfNorell @andorp @IgnoredAmbience
  9. Programming library for Agda

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

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

    Agda 37 2 Built by @larrytheliquid @ntc2 @TimSheard
  12. being the materials for CS410 Advanced Functional Programming in the 2015/16 session

    Agda 37 2 Built by @pigworker @jmchapman
  13. Port of Software Foundations to Agda

    Agda 37 1 Built by @wadler @wenkokke
  14. A workshop on learning Agda with minimal prerequisites.

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

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

    Agda 31 5 Built by @scott-fleischman @joshwestbury @jimmyparks @krislyle
  17. Miller/pattern unification in Agda

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

    Agda 28 5 Built by @sstucki @Blaisorblade
  19. being the notes and materials for CS410 in the 2013/14 academic session

    Agda 26 4 Built by @pigworker @stevana
  20. An implementation of Functional Reactive Programming

    Agda 26 2 Built by @mvcisback @andreasabel
  21. Porting of software foundations book to Agda

    Agda 24 4 Built by @rodrigogribeiro
  22. Agda 24 6 Built by @pigworker
  23. Base library for HoTT in Agda

    Agda 23 4 Built by @pcapriotti @akaposi
  24. Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

    Agda 21 3 Built by @scmu @arbuztw
  25. Observational Type Theory as an Agda library

    Agda 21 4 Built by @effectfully
Other Languages
ProTip! Looking for most forked Agda repositories? Try this search