Chris Lewis's repositories
Infinite-Mario-Bros
A more compatible version of Infinite Mario
Space-Invaders-Enterprise-Edition
Space Invaders Enterprise Edition: Space Invaders written with a rule engine processing game logic
SQLExchange
Import Stack Exchange XML data dumps into any popular database
aspect-oriented-commentator
An aspect-oriented implementation of a video game commentator
authservice
Move OIDC token acquisition out of your app code and into the Istio mesh
Clojure-Word-Counting
Clojure scripts that count the number of occurrences of a word in a file. Not too exciting. Code is probably awful.
FluxNews
A simple Newsreader for the miniflux backend (https://miniflux.app).
gcr-cleaner
Delete untagged image refs in Google Container Registry, as a service
idris-lang.org
Idris web site
jpfools
Shows how to use Drools as a listener to JPF
rules_python
Bazel Python Rules
Spectrum
A preprocessor for PRISM to provide some syntactic sugar
Techu-Archetype
Maven archetype for Techu models, part of the Zenet Project
unisonweb-org
Source for the unisonweb.org website