Pinned Repositories
adventOfCode
esphome-heating-interface
Eagle Schematics & Board layout
inky-frame-hassio
Home Assistant Dashboard for the Pimoroni Inky Frame
irpg-web
Simple web status screen for irpg
lib_mp3
Experimental MP3 Decoder port for xCORE based on MAD
morello-capability-rs
Library to interact with Morello Capabilities through Rust
piperbot
Python IRC Bot
pomsets-with-predicate-transformers
pyperbot
graymalkin's Repositories
graymalkin/esphome-heating-interface
Eagle Schematics & Board layout
graymalkin/inky-frame-hassio
Home Assistant Dashboard for the Pimoroni Inky Frame
graymalkin/lib_mp3
Experimental MP3 Decoder port for xCORE based on MAD
graymalkin/irpg-web
Simple web status screen for irpg
graymalkin/adventOfCode
graymalkin/morello-capability-rs
Library to interact with Morello Capabilities through Rust
graymalkin/piperbot
Python IRC Bot
graymalkin/pomsets-with-predicate-transformers
graymalkin/pyperbot
graymalkin/aoc
graymalkin/cheribuild
Easily build and run CHERI related projects
graymalkin/co519-logic
Some accompanying lectures notes for CO519 - Logic at the School of Computing, University of Kent.
graymalkin/concurrency_litmus
Litmus tests for checking correct concurrency semantic behaviour
graymalkin/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
graymalkin/exif-js
Extract EXIF data from JPEG and TIFF files.
graymalkin/glowing-bear
A web client for WeeChat
graymalkin/graymalkin.github.io
website
graymalkin/greeclimate
Python package for controlling Gree based minisplit systems
graymalkin/home-assistant-core
:house_with_garden: Open source home automation that puts local control and privacy first.
graymalkin/lambda-club
Material from presentations at the University of Kent's LambdaClub meetings
graymalkin/latex-templates
Simon's LaTeX templates
graymalkin/memalloy
Memory consistency modelling using Alloy
graymalkin/ocaml
The core OCaml system: compilers, runtime system, base libraries
graymalkin/photography-blog
graymalkin/raven-silvermoon.net
Guild website
graymalkin/resid-rs
Port of reSID, a MOS6581 SID emulator engine, to Rust
graymalkin/seval
Reimplementing seval
graymalkin/TinkerWeb
TinkerSoc Website
graymalkin/TinkerWebHugo
Hugo based TinkerSoc website port
graymalkin/vario
Video overlays for Glider Pilots