G. Allais
Results
13
repositories owned by
G. Allais
agdarsec
121
Stars
8
Forks
Watchers
Total Parser Combinators in Agda
idris-tparsec
93
Stars
10
Forks
Watchers
TParsec - Total Parser Combinators in Idris
generic-syntax
67
Stars
11
Forks
Watchers
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
agda-presburger
31
Stars
3
Forks
Watchers
Deciding Presburger arithmetic in agda
agda-sizedIO
33
Stars
1
Forks
Watchers
IO using sized types and copatterns
pearl-binary-search
28
Stars
0
Forks
Watchers
Functional Pearl: Certified Binary Search in a Read-Only Array