Ben Orchard's Projects
Inject data into ELFs and patch over references to use them, automatically
Example programs and scripts in different languages.
Move a path to the shell-friendly equivalent.
Get the shell-friendly (i.e. no caps, spaces...) version of a string.
A Factorio recipe calculator. (WIP, just messing about)
A type inhabited by finitely many values, indexed by type-level naturals.
FLINT (Fast Library for Number Theory)
Pillar compiler, Pillar runtime, garbage collector.
Fortran parsing and analysis infrastructure
A supermarket simulation program.
Check for mail updates every interval, and notify when new mail arrives.
Make a local copy of a GitHub user's accessable repositories (public, private, and organisation).
Boast about your Git[Hub] commits on Twitter.
UKC final year module - Git bisect assignment (Haskell)
Repo used in Git/Github training (ICCS summer school 2022)
Configuration files for GRUB.
Reversing tools for manipulating Golden Time: Vivid Memories game assets
A Hamming en/decoder written in Ruby.
A Hangman game simulator implemented in Java 1.8.
A hashing-based graph implementation in Haskell
Release with confidence, state-of-the-art property testing for Haskell.
The Haskell Foundation website, hosted by GitHub Pages.
A collection of short programs in multiple languages.
Haskell bindings for the Keystone assembler framework
Homebrew package formula for CamFort