spanners Goto Github PK

cbmc

C Bounded Model Checker

crlibm

A mirror of the CRLibm project from INRIA Forge

dissertation

Undergrad dissertation studying the cognitive load a programmer experiences while using declarative vs. imperative paradigms for a given task

dotfiles

dotfiles for Debian Buster

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

flask-blog

gnat2goto

GNAT 2 GOTO Converter

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

haskell-course-cis194

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

labyrinth-of-doom

Labyrinth of Dooom! is a multiplayer client/server Rogue-like game supporting bots.

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

polynomial-calculator

pyqt4-examples

A repository full of pyqt4 examples -- more for my own learning than anything else

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.

structure-and-interpretation-of-computer-programs

Structure and Interpretation of Computer Programs - Exercise Repo

the-little-schemer

The Little Schemer

the-seasoned-schemer

tkinter-playground

hts client

udacity-homeworks

visualise-elm-ide-input

VIsualise mouse click data from a .json file of form {{"x": 0, "y":0}, {"x: 242, "y": 481}, ...}