Michael's repositories
elfeed-score
Gnus-style scoring for elfeed
damerau-levenshtein
Comparison of a few algorithms for computing Damerau–Levenshtein distance
syslog-tracing
A tracing Layer for syslog
indie-org.sh
Demonstration site for indie-org
klee
KLEE Symbolic Execution Engine
laurel
Transform Linux Audit logs for SIEM usage
lftp
sophisticated command line file transfer program (ftp, http, sftp, fish, torrent)
math-delimiters
Insert math delimiters in TeX, LaTeX and Org buffers
melpa
Recipes and build machinery for the biggest Emacs package repo
MPD
Music Player Daemon
ncmpcpp
Featureful ncurses based MPD client inspired by ncmpc
nyxt
Nyxt - the internet on your terms.
openraft
rust raft with improvements
rust-ftp
FTP client for Rust
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
rust_async_ftp
Fork of https://crates.io/crates/ftp with tokio async support
rustic
Rust development environment for Emacs
this-week-in-rust
Data for this-week-in-rust.org
winamp
Winamp