Trending
See what the GitHub community is most excited about today.
-
OWASP ModSecurity Core Rule Set (CRS) Project (Official Repository)
-
Test-driven system administration with a little extra logic.
-
SWI-Prolog for SHaring: a SWI-Prolog web IDE
-
Some simple examples for new Prolog programmers
-
Strange Loop 2014 archives
-
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
-
A new logic programming language.
-
An in-memory datalog implementation for OCaml.
-
A PCB for attaching an iPad retina LCD to a DisplayPort source
-
-
My public programs and models - mostly combinatorial problems and puzzles
-
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
-
Logtalk 3.x development version
-
Parser for Attempto Controlled English (ACE)
-
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
-
The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.
-
Translate XML Schema into equivalent JSON Schema
-
A terse declarative logic programming language
-
Free and open source A.I. system based on Python, TensorFlow and Prolog.
-
OWL2 library for Prolog
-
Constraint Logic Programming over Finite Domains
-
Tableau-based Theorem Prover for Natural Logic and Language
-
A collection of Prolog libraries.
-
Metagol
-
A Magic: the Gathering™ expert system
