Lists (31)
android
4 repositories
artificial intelligence
12 repositories
budget
6 repositories
C++
1 repository
compilation
1 repository
containers
1 repository
data analysis
3 repositories
ebooks
10 repositories
emacs
20 repositories
example code
22 repositories
finance
15 repositories
haskell
56 repositories
image & document tools
5 repositories
ipad
16 repositories
julia
julia topics packages notebooks also python notebooks33 repositories
languages
13 repositories
mac
5 repositories
machine learning
13 repositories
math notebook
11 repositories
music
2 repositories
plt
8 repositories
python
4 repositories
racket
7 repositories
rust
3 repositories
scheme
3 repositories
swift
5 repositories
TeX
1 repository
tools
37 repositories
video
7 repositories
virtualization
3 repositories
web
12 repositories
Starred repositories
0
results
for template starred repositories
written in Agda
Clear filter