Lists (32)
algorithms
5 repositories
caches
1 repository
cloudflare
1 repository
codeql
2 repositories
CRDTs
1 repository
Data analysis
3 repositories
devsecops
64 repositories
eBPF
8 repositories
effect-ts
1 repository
formal
3 repositories
FP
5 repositories
graph
5 repositories
haskell-fp
2 repositories
homelab
3 repositories
Learn Rust
9 repositories
microbiology
3 repositories
ml
31 repositories
mojo
3 repositories
Parsers
1 repository
radio
1 repository
rag
3 repositories
replist
1 repository
sbom
1 repository
siem
77 repositories
sonarcube
1 repository
tauri
1 repository
tools
22 repositories
ui
4 repositories
viz
4 repositories
zfs
3 repositories
zio
1 repository
zulip
1 repository
Stars
4
stars
written in Emacs Lisp
Clear filter
An example of a fully custom Emacs configuration developed live on YouTube!
Supercharge your Org daily/weekly agenda by grouping items
A Coq IDE build on top of Proof General's Coq mode