Arran Stewart's repositories
mini-prologj
Java 8 implementation of a mini prolog-style solver, based on the Javascript version of https://curiosity-driven.org/prolog-interpreter
gprolog_wrapper
c++ wrappers around the gprolog c API to improve type safety. WIP
docker-pandoc
Docker container with Pandoc, PdfTex, XeLaTeX and LuaTeX installed
advent-of-code
some sample solutions to "Advent of Code" (https://adventofcode.com/) problems. WARNING: Contains spoilers
bbquiz
Forked version of https://github.com/bristol-d/bbquiz, packaged for installation with `pip`
dafny
Dafny is a verification-aware programming language
docker-workshop-2021
UWA CITS5206 Deployment and Docker workshop
dsa-swu-website
Data Structures and Algorithms at Southwest University, China, run in Autumn 2021
eleventy-docker
eleventy running on alpine 3.14
hs-typed-digits
Digits, indexed by their base at the type level
mccahill-xterm-js
xterm.js in a docker container with support for authentication via a token passed to the container at runtime, and support for downloading the user's home directory in a zipped archive file. Forked from https://gitlab.oit.duke.edu/mccahill/xterm.js
monad-markov
Markov process monad
prop-parser-js
Parse propositional logic formulas in Javascript.
seed-labs-Life-long-Learner
copy of cybersecurity notes including SEED labs (u syracuse). forked from firmianay/Life-long-Learner
soot
Soot - A Java optimization framework
xterm-js-docker
Docker container to run an xterm.js terminal web page with authentication via a token set when the container is launches (and passed on the URL to the web page). See https://gitlab.oit.duke.edu/mccahill/xterm.js for the xterm.js node.js express app.