Lists (26)
AI
14 repositories
blog
9 repositories
caldav
2 repositories
cloud-infra
3 repositories
docker
3 repositories
emacs
4 repositories
formal verification
2 repositories
haskell
4 repositories
Homelab
16 repositories
julia
14 repositories
latex
4 repositories
llms
92 repositories
networking
3 repositories
nix
76 repositories
Note taking
37 repositories
notebooks
2 repositories
nvim
8 repositories
obsidian
16 repositories
piracy
2 repositories
python
2 repositories
quantitative finance
34 repositories
Research challenge 22
1 repository
rust
60 repositories
Shell,Dotfiles,Ergonomics
27 repositories
Theorem Proving
2 repositories
web3
24 repositories
Stars
0
results
for sponsorable starred repositories
written in hoon
Clear filter