lexbailey Goto Github PK

gtfdevhdll-l3-tb

meh

gtfdevhdll-l4-ta

meh

gtfdevhdll-l4-tb

meh

hacksoc.org

Hacksoc website

haribosecurity

This is arduino code for running on a pro mini to unlock the box that protects the haribo sweets.

have_i_been_vegan_today

Tracks if I (or you) has been vegan today.

heartbeat_demo

Demo prebuilt version of my Game Jam game Heartbeat. Made at DevSoc (UoY) game jam.

inkscape_experiments

Just me experimenting with inkscape

interaction-trees

Interactions Trees in Isabelle/HOL and a CSP model

isabelle-theory-build-github-action

A github action to build an isabelle theory file

isabelle-utp-ci-dashboard

isabelle_cheat_sheets

My cheat sheets for using the Isabelle theorem prover

isabelle_todocx

Turns isabelle html files into docx files

isabelle_utp_full

A wrapper around Isabelle/UTP that fetches and builds all the components (including isabelle) automatically

itrees_isabelle_fork

A fork of isabelle that supports Interaction Trees: https://github.com/isabelle-utp

jigsawgen

A tool for generating truly-evil laser-cuttable jigsaws with no edge pieces, only corners and centres.

joy2uinput

joy2uinput maps your joypads to virtual keyboard and mouse devices in linux

joysticksikmebrain

Joystick controlled MeArm using the prototype MeBrain

just_a_web_page_with_a_disc_that_spins_at_thirty_revolutions_per_minute

kbdinterdue

kdbinterleon

key_to_google

Keyboard shortcuts for google, like they used to be, before instant search went away

led_32_32_papilio

A VHDL module (that will work on a papilio) for driving a 32x32 RGB LED matrix (from sparkfun or adafruit) at 190 FPS with 8 bit PWM

link-list-test-thing

loa

(Not to be confused with Lua.) Experiments with the 'Lines of Action' game.

m

a terrible interpreter for the M language (A University of York CS department thing)

mans

Quick test in x86 assembly

mearm

Inverse kinematics control library for Phenoptix meArm

mindividualdifficulty

Allows individual difficulties on a Bukkit server, keeps current difficulty at minimum of online players' individual difficulty levels.

mqtt-free-pascal

MQTT client classes in Pascal.