Pinned Repositories
3d-vector-lib
Pretty fast 3d-vector library for a little animation.
acro
Acronym game.
cl-containers
Containers Library for Common Lisp
compojure-example
Just a little example of some Compojure for my blog.
lispotify
common lisp spotify wrapper
next
Next Browser - Be Productive.
solb.io
website!
stumpwm-configs
Lots of configuration, need to share between computers.
theorem-proving-in-lean
Working through Theorem Proving in Lean book.
tinykeyval
Tiny key-value store in Python.
solbloch's Repositories
solbloch/stumpwm-configs
Lots of configuration, need to share between computers.
solbloch/3d-vector-lib
Pretty fast 3d-vector library for a little animation.
solbloch/lispotify
common lisp spotify wrapper
solbloch/next
Next Browser - Be Productive.
solbloch/acro
Acronym game.
solbloch/theorem-proving-in-lean
Working through Theorem Proving in Lean book.
solbloch/cl-containers
Containers Library for Common Lisp
solbloch/compojure-example
Just a little example of some Compojure for my blog.
solbloch/solb.io
website!
solbloch/tinykeyval
Tiny key-value store in Python.
solbloch/dmenu
my dmenu fork
solbloch/emacs-config
My emacs config
solbloch/evil
The extensible vi layer for Emacs.
solbloch/example-ring-project
Example of how to use Ring for my blog.
solbloch/hue
Common Lisp library for Philips Hue lights.
solbloch/leetcode-cli-plugins
3rd party plugins for leetcode-cli
solbloch/nba-acl
Looking at the effects of ACL tears on NBA careers.
solbloch/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
solbloch/screenshot-upload
Simple Clojure file-upload and return system.
solbloch/shakesearch
The Pulley ShakeSearch Take-home Challenge
solbloch/slimv
Official mirror of Slimv versions released on vim.org
solbloch/spacemacs-config
spacemacs configuration
solbloch/spotify-currently
Python script for currently playing on spotify. Uses ghetto OAUTH.
solbloch/st
Suckless Terminal configuration.
solbloch/stumpwm-contrib
Extension Modules for StumpWM
solbloch/su-class-to-ical
Copy paste your classes and get iCal to import to Google Calendar's or Apple Calendar or whatever