Lists (32)
BBEdit
1 repository
C++
1 repository
CSS
3 repositories
Data Streams
8 repositories
Databases
1 repository
Distributed-Systems
1 repository
GenAI-LLM
56 repositories
go
1 repository
Golang
8 repositories
HTMX
2 repositories
KAN
1 repository
Languages
2 repositories
Literate Programming
1 repository
ML
3 repositories
Nim
12 repositories
NixOS
1 repository
Observability Pipeline
3 repositories
Obsidian
3 repositories
OCaml
3 repositories
OLAP
1 repository
Ollyver
1 repository
Programming Languages
2 repositories
Project Ideas
Recreate this in a more palatable framework etc.1 repository
Python
good and interesting python things16 repositories
Rust
12 repositories
Self Hosting
4 repositories
Supabase
1 repository
Tools
2 repositories
Typescript
interesting typescript projects1 repository
Typesetting
4 repositories
UI
WASM
1 repository
Starred repositories
2
stars
written in Agda
Clear filter
Learn you an Agda (and achieve enlightenment)
Mirror of Conor McBride’s 2011 Agda course materials