bishboria

ErgoDox

ErgoDox keyboard configuration

hoodlums

Code worked on at London Hoodlums group

software-foundations

Working through Software Foundations

dotfiles

Configuration files

ergodox-firmware

firmware for the ergoDOX keyboard

2017-10-11-SPLS-talk

Slides for SPLS talk

agda-emacs-macros

macros in elisp for writing literate agda files

feeding-haskell-to-ambiants

"Dinner with Ambiants" code puzzles and solutions for London Haskell meetings

outrageous-interpreter

Automatically exported from code.google.com/p/outrageous-interpreter

rabbitmq-tutorial

Learn me some RabbitMQ with Haskell

screen-read-class

LaTeX class for creating documents with scroll-like pages. Suitable for reading on tablets, etc

agda

Agda is a dependently typed programming language / interactive theorem prover.

bishboria.com

bishboria.com

bishboria.github.io

static things

CS316-16

being the course repo for the 2016/17 semester 1 outing of CS316 Functional Programming

CS410-15

being the materials for CS410 Advanced Functional Programming in the 2015/16 session

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Idris-dev

A Dependently Typed Functional Programming Language

LibAgda

little-mler

Code from the chapters of The Little MLer

little-schemer

Code from The Little Schemer

modern-compiler-implementation

Working through Modern Compiler Implementation in ML

normlit

Defer decisions about creating a literate program, or a normal one

ntp-thing

Learn NTP and create an NTP server

RayTracingWalnut

Using the TheCherno's Walnut app to try and make the RayTracing app run on macOS

seasoned-schemer

Code from The Seasoned Schemer

spacemacs

An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

structuralinduction.com

structural induction site's code and content

VulkanTest

Getting vulkan to work in XCode on Apple silicon

wolfendoomenquakenstein

An Homage