Lists (32)
android
4 repositories
artificial intelligence
6 repositories
budget
6 repositories
C++
1 repository
compilation
1 repository
containers
1 repository
data analysis
3 repositories
database
ebooks
6 repositories
emacs
17 repositories
example code
13 repositories
finance
15 repositories
haskell
51 repositories
image & document tools
5 repositories
ipad
9 repositories
julia
julia topics packages notebooks also python notebooks33 repositories
languages
12 repositories
mac
3 repositories
machine learning
13 repositories
math notebook
11 repositories
music
1 repository
plt
9 repositories
racket
6 repositories
scheme
2 repositories
swift
4 repositories
testing
TeX
1 repository
tools
29 repositories
video
4 repositories
virtualization
3 repositories
web
5 repositories
web framework
3 repositories
Starred repositories
1
star
written in Agda
Clear filter
An introduction to programming language theory in Agda