Pinned

1. idris-lang/Idris2 Public

   A purely functional programming language with first class types

   Idris 2k 333

2. generic-syntax Public

   A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

   Agda 68 10

3. typing-with-leftovers Public

   Self-contained repository for the eponymous paper

   Agda 25 3

4. agdarsec Public

   Total Parser Combinators in Agda

   Agda 102 8

5. idris-tparsec Public

   TParsec - Total Parser Combinators in Idris

   Idris 91 10

6. agda/agda-stdlib Public

   The Agda standard library

   Agda 497 218