Skip to content

Trending in open source

See what the GitHub community is most excited about today.

  1. liamoc / learn-you-an-agda

    Learn you an Agda (and achieve enlightenment)

    Agda • Built by @liamoc @sordina @evelynmitchell

  2. HoTT / HoTT-Agda

    Development of homotopy type theory in Agda

    Agda • Built by @ecavallo @favonia @andrejbauer @guillaumebrunerie @sattlerc

  3. agda / agda-stdlib

    The Agda standard library

    Agda • Built by @nad @asr @UlfNorell @np @andreasabel

  4. copumpkin / categories

    Categories parametrized by morphism equality, in Agda

    Agda • Built by @copumpkin @xplat @Saizan @mokus0 @JasonGross

  5. williamdemeo / TypeFunc

    Resources for type theory, functional programming, etc.

    Agda • Built by @williamdemeo

  6. jstolarek / why-dependent-types-matter

    Companion code for "Why Dependent Types Matter" paper.

    Agda • Built by @jstolarek @markus1189

  7. pigworker / CS410-14

    being the materials for CS410 Advanced Functional Programming in the 2014-15 session

    Agda • Built by @pigworker @gallais

  8. dlicata335 / hott-agda

    Agda • Built by @dlicata335 @guillaumebrunerie @ericfinster @DanGrayson

  9. UlfNorell / agda-summer-school

    Summer school on programming in Agda

    Agda • Built by @UlfNorell @andorp @edgemaster

  10. spire / spire

    The Spire Programming Language

    Agda • Built by @larrytheliquid @ntc2 @TimSheard

  11. pigworker / CS410-15

    being the materials for CS410 Advanced Functional Programming in the 2015/16 session

    Agda • Built by @pigworker @jmchapman

  12. crypto-agda / crypto-agda

    Cryptographic Constructions in the Type Theory of Agda

    Agda • Built by @np @Danten @lron @gitter-badger @diakopter

  13. UlfNorell / agda-prelude

    Programming library for Agda

    Agda • Built by @UlfNorell @m0davis @jespercockx @np @yoricksijsling

  14. Saizan / miller

    Miller/pattern unification in Agda

    Agda • Built by @Saizan

  15. pigworker / CS410-13

    being the notes and materials for CS410 in the 2013/14 academic session

    Agda • Built by @pigworker @stevana

  16. agda / agda-frp-ltl

    An implementation of Functional Reactive Programming

    Agda • Built by @mvcisback @andreasabel

  17. pigworker / Pivotal

    Agda • Built by @pigworker

  18. pcapriotti / agda-base

    Base library for HoTT in Agda

    Agda • Built by @pcapriotti @akaposi

  19. rodrigogribeiro / agda-software-foundations

    Porting of software foundations book to Agda

    Agda • Built by @rodrigogribeiro

  20. favonia / homotopy

    My old Agda code for Homotopy Type Theory. See HoTT/HoTT-Agda for the new one.

    Agda • Built by @favonia

  21. bobatkey / sorting-types

    Typed DSLs for sorting

    Agda • Built by @bobatkey

  22. gallais / aGdaREP

    Implementing grep in Agda

    Agda • Built by @gallais @kurnevsky

  23. ZongzheYuan / HaltingProblem

    The proof of undecidability of halting problem, using the model -- WHILE language.

    Agda • Built by @ZongzheYuan

  24. pigworker / Totality

    being the programs and code for a paper about general recursion

    Agda • Built by @pigworker @ashley-woodard

  25. pepijnkokke / SubstructuralLogicsInAgda

    Implementation of several substructural logics in Agda.

    Agda • Built by @pepijnkokke

ProTip! Looking for recently updated Agda repositories? Try this search
Something went wrong with that request. Please try again.