G. Allais G. Allais

Tracking 1.38K commits to 54 open source packages


Repositories

gallais/agdarsec
Total Parser Combinators in Agda
Agda - GPL-3.0 - Last pushed - 19 stars - 4 forks
gallais/typing-with-leftovers
Self-contained repository for the eponymous paper
Agda - GPL-3.0 - Last pushed - 12 stars
gallais/potpourri
Where everyday research happens
Agda - GPL-3.0 - Last pushed - 17 stars - 2 forks
gallais/type-scope-semantics
A self-contained repository for the paper Type and Scope Preserving Semantics
Agda - Last pushed - 11 stars
gallais/great-library-of-idris
A crowd-sourced list of papers using Idris
CC0-1.0 - Last pushed - 6 stars - 1 forks
gallais/idris-tmustache
Total Logic-Less Templating Library
Idris - GPL-3.0 - Last pushed - 5 stars
See all G. Allais's repositories

Repositories Contributed To

asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Haskell - Other - Last pushed - 0 stars
asr/pra
Haskell - Other - Last pushed - 0 stars
asr/my-agda
This isn't the "official" Agda repository. Please don't submit pull request
This repository is no longer available - 0 stars
DNNX/my-agda
Haskell - Other - Last pushed - 0 stars
JackMiranda/herms
stewfork_and_knife A command-line manager for delicious kitchen recipes
Haskell - GPL-3.0 - Last pushed - 132 stars - 37 forks
pigworker/Syrup
being a programming language for sequential circuits
Haskell - Last pushed - 11 stars
See all G. Allais's contributions

Last synced: 2016-12-17 06:10:40 UTC

Login to resync this page