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. seed-labs-Life-long-Learner seed-labs-Life-long-Learner Public

   Forked from firmianay/Life-long-Learner

   copy of cybersecurity notes including SEED labs (u syracuse). forked from firmianay/Life-long-Learner

   2

5. docker-pandoc docker-pandoc Public

   Docker container with Pandoc, PdfTex, XeLaTeX and LuaTeX installed. Available for amd64 and arm64

   Python 1 1

6. soot soot Public

   Forked from soot-oss/soot

   Soot - A Java optimization framework

   Java