Pinned Repositories
dotfiles
Configuration files
ErgoDox
ErgoDox keyboard configuration
hoodlums
Code worked on at London Hoodlums group
learnyouahaskell
Code from Learn You A Haskell book: http://learnyouahaskell.com/
matchers
scheme-specify
A simple testing framework in Scheme
SICP
working my way through SICP (Wizard book)
software-foundations
Working through Software Foundations
vim-globalreplace
Replace all occurences of a word from all files in the current directory and below
bishboria's Repositories
bishboria/ErgoDox
ErgoDox keyboard configuration
bishboria/hoodlums
Code worked on at London Hoodlums group
bishboria/software-foundations
Working through Software Foundations
bishboria/dotfiles
Configuration files
bishboria/ergodox-firmware
firmware for the ergoDOX keyboard
bishboria/2017-10-11-SPLS-talk
Slides for SPLS talk
bishboria/agda-emacs-macros
macros in elisp for writing literate agda files
bishboria/feeding-haskell-to-ambiants
"Dinner with Ambiants" code puzzles and solutions for London Haskell meetings
bishboria/outrageous-interpreter
Automatically exported from code.google.com/p/outrageous-interpreter
bishboria/rabbitmq-tutorial
Learn me some RabbitMQ with Haskell
bishboria/screen-read-class
LaTeX class for creating documents with scroll-like pages. Suitable for reading on tablets, etc
bishboria/agda
Agda is a dependently typed programming language / interactive theorem prover.
bishboria/bishboria.com
bishboria.com
bishboria/bishboria.github.io
static things
bishboria/CS316-16
being the course repo for the 2016/17 semester 1 outing of CS316 Functional Programming
bishboria/CS410-15
being the materials for CS410 Advanced Functional Programming in the 2015/16 session
bishboria/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
bishboria/Idris-dev
A Dependently Typed Functional Programming Language
bishboria/LibAgda
bishboria/little-mler
Code from the chapters of The Little MLer
bishboria/little-schemer
Code from The Little Schemer
bishboria/modern-compiler-implementation
Working through Modern Compiler Implementation in ML
bishboria/normlit
Defer decisions about creating a literate program, or a normal one
bishboria/ntp-thing
Learn NTP and create an NTP server
bishboria/RayTracingWalnut
Using the TheCherno's Walnut app to try and make the RayTracing app run on macOS
bishboria/seasoned-schemer
Code from The Seasoned Schemer
bishboria/spacemacs
An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
bishboria/structuralinduction.com
structural induction site's code and content
bishboria/VulkanTest
Getting vulkan to work in XCode on Apple silicon
bishboria/wolfendoomenquakenstein
An Homage