Lists (23)
ai
15 repositories
archival
6 repositories
ctf
27 repositories
cursed
39 repositories
cute
4 repositories
embedded
19 repositories
games
9 repositories
graphics
5 repositories
langdev
24 repositories
languages
70 repositories
lean
13 repositories
libraries
9 repositories
linear algebra
1 repository
linguistics
15 repositories
linux
15 repositories
networks
13 repositories
nim
41 repositories
other
17 repositories
proof
23 repositories
rust
9 repositories
switch
11 repositories
types
3 repositories
web
30 repositories
Starred repositories
5
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT