anderslundstedt's Stars
Spotifyd/spotifyd
A spotify daemon
mikebrady/shairport-sync
AirPlay and AirPlay 2 audio player
librespot-org/librespot
Open Source Spotify client library
dtcooper/raspotify
A Spotify Connect client that mostly Just Works™
LnL7/nix-darwin
nix modules for darwin
abrasive/shairport
Airtunes emulator! Shairport is no longer maintained.
cormullion/juliamono
repository for JuliaMono, a monospaced font with reasonable Unicode support.
plietar/librespot
Open Source Spotify client library
whonore/Coqtail
Interactive Coq Proofs in Vim
zhaofengli/nix-homebrew
Homebrew installation manager for nix-darwin
stevengj/subsuper-proposal
Draft proposal for additional sub/superscript characters in Unicode
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
librespot-org/spotify-connect-resources
A repository to hold any data/stuff related to reversing the Spotify Connect protocol. Mostly just data dumps at the moment, but if you have something to add to it, be it an implementation, information or just another data dump, make a PR and I will add it asap.
zupo/nix
My personal notes and memos about playing with NixOS on a Raspberry PI
jparise/gmail-fixed-font
Use your browser's monospace font for message body text in Gmail
jvoorhis/coq.vim
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
anderslundstedt/pca-realizability
Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
U-MA/coqdo.vim
coqtop with Vim.