Skip to content
View arranstewart's full-sized avatar

Organizations

@cits4407 @cits5501 @arranstewart-dev @cits3007

Block or report arranstewart

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. mini-prologj mini-prologj Public

    Java 8 implementation of a mini prolog-style solver, based on the Javascript version of https://curiosity-driven.org/prolog-interpreter

    Java 3

  2. magic magic Public

    John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.

    C 3

  3. gprolog_wrapper gprolog_wrapper Public

    c++ wrappers around the gprolog c API to improve type safety. WIP

    C++ 2 1

  4. docker-pandoc docker-pandoc Public

    Docker container with Pandoc, PdfTex, XeLaTeX and LuaTeX installed

    Dockerfile 1 2

  5. soot soot Public

    Forked from soot-oss/soot

    Soot - A Java optimization framework

    Java

  6. advent-of-code advent-of-code Public

    some sample solutions to "Advent of Code" (https://adventofcode.com/) problems. WARNING: Contains spoilers

    Haskell