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