Pinned Repositories
dissertation
Undergrad dissertation studying the cognitive load a programmer experiences while using declarative vs. imperative paradigms for a given task
flask-blog
labyrinth-of-doom
Labyrinth of Dooom! is a multiplayer client/server Rogue-like game supporting bots.
pyqt4-examples
A repository full of pyqt4 examples -- more for my own learning than anything else
spanners's Repositories
spanners/pyqt4-examples
A repository full of pyqt4 examples -- more for my own learning than anything else
spanners/flask-blog
spanners/dissertation
Undergrad dissertation studying the cognitive load a programmer experiences while using declarative vs. imperative paradigms for a given task
spanners/labyrinth-of-doom
Labyrinth of Dooom! is a multiplayer client/server Rogue-like game supporting bots.
spanners/cbmc
C Bounded Model Checker
spanners/crlibm
A mirror of the CRLibm project from INRIA Forge
spanners/dotfiles
dotfiles for Debian Buster
spanners/dotfiles-musq
🏵️ Bash scripts to set up local environment as a developer
spanners/elm-lang.org
This project extends the elm-lang.org IDE with the ability to embed arbitrary Elm code in the editor pane.
spanners/falling-pill-game
Falling pill game in Elm
spanners/gnat2goto
GNAT 2 GOTO Converter
spanners/GNATstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
spanners/haskell-course-cis194
spanners/haskell-course-tda453
Lecture code and Lab solutions from Introduction to Functional Programming 2012, Chalmers University
spanners/irc-bot
Haskell IRC bot
spanners/knr-c
K&R C Book
spanners/learn-adacore-com
Sources for learn.adacore.com
spanners/lyah
Learn You A Haskell (for Great Good!)
spanners/mindstorms-wall-following-robot
LEGO Mindstorms wall-following robot
spanners/nand2tetris
The Elements of Computing Systems
spanners/polynomial-calculator
spanners/python-cookbook
A bunch of examples I like from the Python Cookbook (3rd Edition)
spanners/snake-elm
Snake clone written in Elm
spanners/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
spanners/the-little-schemer
The Little Schemer
spanners/the-seasoned-schemer
spanners/tkinter-playground
hts client
spanners/udacity-homeworks
spanners/visualise-elm-ide-input
VIsualise mouse click data from a .json file of form {{"x": 0, "y":0}, {"x: 242, "y": 481}, ...}
spanners/xmonad-config
My xmonad and xmobar configuration, plus necessary scripts to make things more usable.