Geek Repo
followers
following
stars
Company:McMaster University
Location:Hamilton, Ontario, Canada
Github PK Tool:Github PK Tool
Agda is a dependently typed programming language / interactive theorem prover.
A dead simple networked key/value store
Grammatical Framework core: compiler, shell & runtimes