close
The Wayback Machine - https://web.archive.org/web/20160323215636/https://github.com/trending/agda
Skip to content
Learn more
Please note that GitHub no longer supports Internet Explorer versions 7 or 8.

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

If you are using IE 11, make sure you turn off "Compatibility View".

Explore GitHub

Trending in open source

See what the GitHub community is most excited about today.

  1. Star

    liamoc / learn-you-an-agda

    Learn you an Agda (and achieve enlightenment)

    Agda • Built by @liamoc @sordina @evelynmitchell

  2. Star

    HoTT / HoTT-Agda

    Development of homotopy type theory in Agda

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

  3. Star

    agda / agda-stdlib

    The Agda standard library

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

  4. Star

    copumpkin / categories

    Categories parametrized by morphism equality, in Agda

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

  5. Star

    williamdemeo / TypeFunc

    Resources for type theory, functional programming, etc.

    Agda • Built by @williamdemeo

  6. Star

    jstolarek / why-dependent-types-matter

    Companion code for "Why Dependent Types Matter" paper.

    Agda • Built by @jstolarek @markus1189

  7. Star

    pigworker / CS410-14

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

    Agda • Built by @pigworker @gallais

  8. Star

    dlicata335 / hott-agda

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

  9. Star

    UlfNorell / agda-summer-school

    Summer school on programming in Agda

    Agda • Built by @UlfNorell @andorp @edgemaster

  10. Star

    spire / spire

    The Spire Programming Language

    Agda • Built by @larrytheliquid @ntc2 @TimSheard

  11. Star

    pigworker / CS410-15

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

    Agda • Built by @pigworker @jmchapman

  12. Star

    crypto-agda / crypto-agda

    Cryptographic Constructions in the Type Theory of Agda

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

  13. Star

    UlfNorell / agda-prelude

    Programming library for Agda

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

  14. Star

    Saizan / miller

    Miller/pattern unification in Agda

    Agda • Built by @Saizan

  15. Star

    pigworker / CS410-13

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

    Agda • Built by @pigworker @stevana

  16. Star

    agda / agda-frp-ltl

    An implementation of Functional Reactive Programming

    Agda • Built by @mvcisback @andreasabel

  17. Star

    pigworker / Pivotal

    Agda • Built by @pigworker

  18. Star

    pcapriotti / agda-base

    Base library for HoTT in Agda

    Agda • Built by @pcapriotti @akaposi

  19. Star

    rodrigogribeiro / agda-software-foundations

    Porting of software foundations book to Agda

    Agda • Built by @rodrigogribeiro

  20. Star

    favonia / homotopy

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

    Agda • Built by @favonia

  21. Star

    bobatkey / sorting-types

    Typed DSLs for sorting

    Agda • Built by @bobatkey

  22. Star

    gallais / aGdaREP

    Implementing grep in Agda

    Agda • Built by @gallais @kurnevsky

  23. Star

    ZongzheYuan / HaltingProblem

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

    Agda • Built by @ZongzheYuan

  24. Star

    pepijnkokke / SubstructuralLogicsInAgda

    Implementation of several substructural logics in Agda.

    Agda • Built by @pepijnkokke

  25. Star

    pigworker / Totality

    being the programs and code for a paper about general recursion

    Agda • Built by @pigworker @ashley-woodard

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