Discover @bishboria Open Source projects

Stuart Gaλe (@bishboria)

bishboria

Stars
272
Global Rank 96,417 (Top 4 %)
Followers 72
Following 1
Registered almost 15 years ago
Most used languages

Haskell
27.8 %

Ruby
16.7 %

Coq 11.1 %

Vim Script
5.6 %

Shell
5.6 %

KiCad Layout 5.6 %

Python
5.6 %

TeX
5.6 %

Common Lisp
5.6 %

Emacs Lisp
5.6 %

Scheme
5.6 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,519
Country Ranking

KiCad Layout 1

Coq 20

Common Lisp
44

Scheme
53

Haskell
148

Vim Script
328

Emacs Lisp
442

TeX
1,452

Ruby
1,718

Shell
3,487

ErgoDox

ErgoDox keyboard configuration

learnyouahaskell

Code from Learn You A Haskell book: http://learnyouahaskell.com/

hoodlums

Code worked on at London Hoodlums group

SICP

working my way through SICP (Wizard book)

software-foundations

Working through Software Foundations

dotfiles

Configuration files

matchers

scheme-specify

A simple testing framework in Scheme

vim-globalreplace

Replace all occurences of a word from all files in the current directory and below

automata

Learn me some automata

purely-functional-data-structures

Chapter examples and attempted exercises from Chris Okasaki's Purely Functional Data Structures book.

inept

game_of_life

Conway's Game of Life

rabbitmq-tutorial

Learn me some RabbitMQ with Haskell

the-haskell-school-of-expression

Exercises from the book The Haskell School Of Expression

2017-10-11-SPLS-talk

Slides for SPLS talk

agda-emacs-macros

macros in elisp for writing literate agda files

outrageous-interpreter

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

screen-read-class

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