arranstewart
Lecturer in the School of Computer Science and Software Engineering at the University of Western Australia
@uwaPerth, Western Australia
Pinned Repositories
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-pandoc
Docker container with Pandoc, PdfTex, XeLaTeX and LuaTeX installed
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
gprolog_wrapper
c++ wrappers around the gprolog c API to improve type safety. WIP
magic
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
mini-prologj
Java 8 implementation of a mini prolog-style solver, based on the Javascript version of https://curiosity-driven.org/prolog-interpreter
arranstewart's Repositories
arranstewart/magic
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
arranstewart/mini-prologj
Java 8 implementation of a mini prolog-style solver, based on the Javascript version of https://curiosity-driven.org/prolog-interpreter
arranstewart/gprolog_wrapper
c++ wrappers around the gprolog c API to improve type safety. WIP
arranstewart/docker-pandoc
Docker container with Pandoc, PdfTex, XeLaTeX and LuaTeX installed
arranstewart/advent-of-code
some sample solutions to "Advent of Code" (https://adventofcode.com/) problems. WARNING: Contains spoilers
arranstewart/bbquiz
Forked version of https://github.com/bristol-d/bbquiz, packaged for installation with `pip`
arranstewart/dafny
Dafny is a verification-aware programming language
arranstewart/docker-workshop-2021
UWA CITS5206 Deployment and Docker workshop
arranstewart/dsa-swu-website
Data Structures and Algorithms at Southwest University, China, run in Autumn 2021
arranstewart/eleventy-docker
eleventy running on alpine 3.14
arranstewart/hs-typed-digits
Digits, indexed by their base at the type level
arranstewart/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
arranstewart/monad-markov
Markov process monad
arranstewart/prop-parser-js
Parse propositional logic formulas in Javascript.
arranstewart/pytwine
Produce reports from Markdown with embedded Python code blocks
arranstewart/seed-labs-Life-long-Learner
copy of cybersecurity notes including SEED labs (u syracuse). forked from firmianay/Life-long-Learner
arranstewart/soot
Soot - A Java optimization framework
arranstewart/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.