Pinned Loading

1. idris-lang/Idris2 idris-lang/Idris2 Public

   A purely functional programming language with first class types

   Idris 2.9k 401

2. generic-syntax generic-syntax Public

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

   Agda 77 11

3. typing-with-leftovers typing-with-leftovers Public

   Self-contained repository for the eponymous paper

   Agda 30 3

4. agdarsec agdarsec Public

   Total Parser Combinators in Agda

   Agda 134 13

5. idris-tparsec idris-tparsec Public

   TParsec - Total Parser Combinators in Idris

   Idris 99 9

6. agda/agda-stdlib agda/agda-stdlib Public

   The Agda standard library

   Agda 653 264