Pinned Repositories
A-Star-Search
A Prolog Implementation of A* Search
advent-of-code-2024
Solutions for Advent of Code 2024 in Kotlin
Apropospriate-Dark-iTerm2
iTerm2 Colour Scheme
distributed-file-system
A distributed file system implemented using Servant and REST
earthquakemapper
A Google Maps visualisation of the past 24 hours' earthquakes.
historyboard-backend
History Board back end for the CS2013 Software Engineering Project
http-proxy
A HTTP(S) Proxy written in Elixir
looper
A time-travelling interpreter written in Haskell (also a bad film)
PR-808
Roland TR-808 Drum Machine in PureScript
shape-server
A Haskell (Scotty) HTTP service to generate SVG shapes
houli's Repositories
houli/PR-808
Roland TR-808 Drum Machine in PureScript
houli/distributed-file-system
A distributed file system implemented using Servant and REST
houli/advent-of-code-2018
Solutions for Advent of Code 2018 in PureScript
houli/dotfiles
My dotfiles. Inspiration taken from many others
houli/purescript-howl
A PureScript wrapper for howler.js 2
houli/advent-of-code-2024
Solutions for Advent of Code 2024 in Kotlin
houli/looper
A time-travelling interpreter written in Haskell (also a bad film)
houli/shape-server
A Haskell (Scotty) HTTP service to generate SVG shapes
houli/verification
Dafny verification of prefix and substring methods
houli/ace
Ace (Ajax.org Cloud9 Editor)
houli/bunwop-dot-com
Bunwop, new ireland movement
houli/cs4032-lab2
houli/cs4032-lab3
houli/cs4032-socket-client
houli/dasher
houli/ember-cli-htmlbars-inline-precompile
:page_with_curl: Precompile inline HTMLBars templates via ES6 tagged template strings
houli/FYP-playground
Half-baked musings for my final year project
houli/FYP-report
houli/hgrep
Search Haskell source code from the command line
houli/minesweeping
Functional Kubs kata
houli/purescript
A small strongly typed language that compiles to Javascript
houli/purescript-dom
Type definitions and standard effect for interacting with the DOM
houli/purescript-exercism
Exercism exercises in PureScript.
houli/rails
Ruby on Rails
houli/register-allocation
Register allocation for the Tastier language ARM codegen
houli/rollup-sourcemap-repro
Reproduction for a rollup issue
houli/rubocop
A Ruby static code analyzer and formatter, based on the community Ruby style guide.
houli/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
houli/terraform-provider-aws
Terraform AWS provider
houli/transactional-byte-buddy-compile-time
Test creating a Byte Buddy compile time plugin to inject bytecode