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