Open source projects in Agda

  • freebroccolo/agda-semigroupoids

    ☕Agda   ★3 stars   ⚠1 open issues   ⚭1 contributors   ☯almost 3 years old  
  • pigworker/CS410-14

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

    ☕Agda   ★55 stars   ⚠0 open issues   ⚭2 contributors   ☯about 4 years old  
  • jstolarek/why-dependent-types-matter

    Companion code for "Why Dependent Types Matter" paper.

    ☕Agda   ★59 stars   ⚠0 open issues   ⚭2 contributors   ☯about 5 years old  
  • williamdemeo/TypeFunc

    Resources for type theory, functional programming, etc.

    ☕Agda   ★130 stars   ⚠0 open issues   ⚭1 contributors   ☯about 5 years old  
  • pigworker/CS410-15

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

    ☕Agda   ★41 stars   ⚠0 open issues   ⚭2 contributors   ☯over 3 years old  
  • pigworker/Pivotal

    ☕Agda   ★25 stars   ⚠1 open issues   ⚭1 contributors   ☯over 5 years old  
  • wouter-swierstra/Brainfuck

    A Brainfuck interpreter written in Agda

    ☕Agda   ★27 stars   ⚠0 open issues   ⚭1 contributors   ☯over 5 years old  
  • UlfNorell/agda-prelude

    Programming library for Agda

    ☕Agda   ★53 stars   ⚠2 open issues   ⚭5 contributors   ☯over 4 years old  
  • scmu/foundations-harper

    Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

    ☕Agda   ★40 stars   ⚠0 open issues   ⚭1 contributors   ☯over 2 years old  
  • liamoc/learn-you-an-agda

    Learn you an Agda (and achieve enlightenment)

    ☕Agda   ★287 stars   ⚠6 open issues   ⚭3 contributors   ☯about 8 years old  
  • pcapriotti/agda-base

    Base library for HoTT in Agda

    ☕Agda   ★23 stars   ⚠0 open issues   ⚭2 contributors   ☯almost 6 years old