Ben Andrew benmandrew
4 followers · 6 following
Repositories
74
 Projects Packages Starred repositories
8
Filter
Sort
counter
Python 1 0
Repairing unrealisable specifications
Updated 2026-09-11 19:12:55 +00:00
dotfiles
Shell 0 0
Dotfiles, using chezmoi for platform independence
Updated 2026-09-11 15:03:00 +00:00
rose
C++ 0 0
Visualiser for Solitaire game graphs
Updated 2026-09-10 23:47:21 +00:00
weft
JavaScript 0 0
Hypernyms and the Categories Game
Updated 2026-09-09 00:38:29 +00:00
wayfare
Python 0 0
Public transport map across Great Britain and Ireland
Updated 2026-09-03 00:46:54 +00:00
bf
C 1 0
bf to LLVM IR compiler frontend
Updated 2026-09-01 13:33:58 +00:00
yam
Python 0 0
Self-hosted app to archive YouTube videos and playlists by link, store them locally, and play them back
Updated 2026-08-30 23:57:23 +00:00
CEGIW-paper
TeX 0 0
Updated 2026-08-23 22:28:36 +00:00
CEGIW-lean
Lean 0 0
Lean formalisation and proofs for CEGIW
Updated 2026-08-23 22:03:35 +00:00
CEGIW-errata
TeX 0 0
Errata for CEGIW
Updated 2026-08-23 21:52:32 +00:00
obsync
Shell 0 0
Automatically synchronise an Obsidian vault with a Git repository
Updated 2026-08-17 12:15:17 +00:00
ontime
Python 1 0
Live-departures dashboard for my local bus stops
Updated 2026-08-08 22:16:30 +00:00
cv
Typst 0 0
Curriculum vitae
Updated 2026-08-01 21:22:22 +00:00
CEGIW
Python 0 0
Counterexample-Guided Interval Weakening — ABZ 2026 paper
Updated 2026-07-26 22:39:55 +00:00
fret-ga
Python 0 0
Genetic algorithm for FRETish requirements
Updated 2026-07-26 21:52:50 +00:00