sp1ff
I hack in C++, LISP & Rust. I think a lot about writing provably correct code.
@privacy-com Portland, OR
Pinned Repositories
damerau-levenshtein
Comparison of a few algorithms for computing Damerau–Levenshtein distance
elfeed-score
Gnus-style scoring for elfeed
elmpd
A tight, ergonomic, async MPD client library in Emacs Lisp
guile-magic
libmagic bindings for Guile Scheme
indie-org
Org mode on the Indieweb
mpdmacs
mpdmacs is a lightweight, ergonomic MPD client for Emacs.
mpdpopm
Maintain ratings & playcounts for your mpd server
pin
Pinboard (and Instapaper) client
scribbu
The extensible tool for tagging your music collection
syslog-tracing
A tracing Layer for syslog
sp1ff's Repositories
sp1ff/elfeed-score
Gnus-style scoring for elfeed
sp1ff/mpdpopm
Maintain ratings & playcounts for your mpd server
sp1ff/elmpd
A tight, ergonomic, async MPD client library in Emacs Lisp
sp1ff/mpdmacs
mpdmacs is a lightweight, ergonomic MPD client for Emacs.
sp1ff/damerau-levenshtein
Comparison of a few algorithms for computing Damerau–Levenshtein distance
sp1ff/syslog-tracing
A tracing Layer for syslog
sp1ff/indie-org
Org mode on the Indieweb
sp1ff/pin
Pinboard (and Instapaper) client
sp1ff/scribbu
The extensible tool for tagging your music collection
sp1ff/core
CFEngine Community
sp1ff/guile-aws
A Guile package for programming AWS
sp1ff/indie-org.sh
Demonstration site for indie-org
sp1ff/klee
KLEE Symbolic Execution Engine
sp1ff/laurel
Transform Linux Audit logs for SIEM usage
sp1ff/lftp
sophisticated command line file transfer program (ftp, http, sftp, fish, torrent)
sp1ff/math-delimiters
Insert math delimiters in TeX, LaTeX and Org buffers
sp1ff/melpa
Recipes and build machinery for the biggest Emacs package repo
sp1ff/MPD
Music Player Daemon
sp1ff/mu4e-dashboard
sp1ff/ncmpcpp
Featureful ncurses based MPD client inspired by ncmpc
sp1ff/nyxt
Nyxt - the internet on your terms.
sp1ff/ob-coq
Org Babel code block evaluation for Coq
sp1ff/openraft
rust raft with improvements
sp1ff/rust-ftp
FTP client for Rust
sp1ff/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
sp1ff/rust_async_ftp
Fork of https://crates.io/crates/ftp with tokio async support
sp1ff/rustic
Rust development environment for Emacs
sp1ff/this-week-in-rust
Data for this-week-in-rust.org
sp1ff/winamp
Winamp
sp1ff/xnde
eXtract your data from the Winamp Music Library