Pinned Repositories
afs-scripts
collection of scripts for doing OpenAFS things
alock
Simple screen lock application for X server
clfswm
THIS REPOSITORY IS UNMAINTAINED AND KEPT FOR INSPIRATION: A(nother) Common Lisp Full Screen Window Manager
emacs-doom-themes
An opinionated pack of modern color-themes
factor
Factor programming language
gitolite
Hosting git repositories -- Gitolite allows you to setup git hosting on a central server, with very fine-grained access control and many (many!) more powerful features. [IMPORTANT: please click and read the WIKI link above before submitting issues, pull requests, etc]
hydra
Hydra, the Nix-based continuous build system
iio-oscilloscope
A GTK+ based oscilloscope application for interfacing with various IIO devices
pybugz
Python interface to Bugzilla.
spacefrogg's Repositories
spacefrogg/clfswm
THIS REPOSITORY IS UNMAINTAINED AND KEPT FOR INSPIRATION: A(nother) Common Lisp Full Screen Window Manager
spacefrogg/pybugz
Python interface to Bugzilla.
spacefrogg/afs-scripts
collection of scripts for doing OpenAFS things
spacefrogg/alock
Simple screen lock application for X server
spacefrogg/emacs-doom-themes
An opinionated pack of modern color-themes
spacefrogg/factor
Factor programming language
spacefrogg/gitolite
Hosting git repositories -- Gitolite allows you to setup git hosting on a central server, with very fine-grained access control and many (many!) more powerful features. [IMPORTANT: please click and read the WIKI link above before submitting issues, pull requests, etc]
spacefrogg/hydra
Hydra, the Nix-based continuous build system
spacefrogg/iio-oscilloscope
A GTK+ based oscilloscope application for interfacing with various IIO devices
spacefrogg/ledger
Double-entry accounting system with a command-line reporting interface
spacefrogg/linphone-android
Linphone.org mirror for linphone-android (https://gitlab.linphone.org/BC/public/linphone-android)
spacefrogg/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
spacefrogg/nixos-hardware
A collection of NixOS modules covering hardware quirks.
spacefrogg/nixos-usr
spacefrogg/nixpkgs
Nix Packages collection
spacefrogg/offlineimap
Read/sync your IMAP mailboxes
spacefrogg/physlock
Lightweight linux console locking tool
spacefrogg/prism
The main development version of the PRISM model checker.
spacefrogg/radicle-interface
Radicle web interface
spacefrogg/redo
Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.
spacefrogg/sb-texinfo
Docstring to Texinfo tool.
spacefrogg/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
spacefrogg/spacemacs-layers
Assortment of spacemacs layers
spacefrogg/storm
A Modern Probabilistic Model Checker
spacefrogg/sup
A curses threads-with-tags style email client (new mailing list: supmua@googlegroups.com)
spacefrogg/timor-overlay
my nixpkgs overlay
spacefrogg/tox-weechat
Tox plugin for WeeChat