lexbailey Goto Github PK

abstract_prog_syntax

A simple Isabelle session introducing syntax for abstract programs

adafruitfourcharalphanumeric

Raspberry pi library for the Adafruit four char alphanumeric display with I2C backpack

angular-modal-service

Modal service for AngularJS - supports creating popups and modals via a service.

anykey

An arduino-compatible based random key presser.

aoc2018

My AoC solutions 2018, probably mostly python3

aoc2020_isabelle

Learning isabelle by doing AOC 2020

aoc2021

My solutions for AoC2021, which I used to learn how to write Rust

aoc2022

My solutions to AoC2022, in Z80 Asm, for the 48k ZX Spectrum

autodxfextract

Automatic tool for extracting each layer of an inkscape SVG as a DXF file

ball-game

Awful.

banks

Implementation of Banks' confidentiality theory in Isabelle/UTP

bas2tap

ZX Spectrum basic to tap file encoder

beltnav

Navigation software for "Wayfinder belt" project

bin2tap

Takes binary files, puts them in .tap files, for loading into zx spectrum emulators, or to convert to audio to play in a real spectrum

birdie

A truly horrible scripting language for golfing

bisonpushtest

Quick test of a push parser in bison

blender_sync_hide_viewport

Blender Add-on: Provides convenient operations for synchronising an objects 'Disable in Viewports' curve with its 'Disable in Renders' curve for convenient fast previews

block-slack-users

Hide messages from users and bots, make Slack a Happy Place Again! :grin:

bnfc

BNF Converter

bottom-rs

🥺

boxoverlap

Overlapping box alignment demo

busface

Pebble watch face to go with the busminder app

busminder

an app to get "Your Next Bus" information and push it to a pebble watch.

buspi

Raspberry pi live bus time display

c88

C88 is Homebrew CPU that has a ram that is only 8x8 Bits in size. It'll fit on a papilio one 500k which has enough pins for all the switches you need too.

c88-espruino

A C88 emulator that runs on an espruino

c88-js

Javascript Emulation of C88

c88_dbt_zero

A DBT for the arduino zero to run C88 programs as native code.

c88gpiotest

A quick test version of the software for the C88 gpio box

catan-roller