See what the GitHub community is most excited about today.
Over 36 million developers use GitHub to
share code across over 100 million
projects. Sign up to find people and projects, contribute to open
source, and learn new skills.
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
An in-memory datalog implementation for OCaml.
A new logic programming language.
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.
A PCB for attaching an iPad retina LCD to a DisplayPort source
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
Logtalk - declarative object-oriented logic programming language
Parser for Attempto Controlled English (ACE)
Interpreter for a simple Lisp. Written in Prolog.
Translate XML Schema into equivalent JSON Schema
Free and open source A.I. system based on Python, TensorFlow and Prolog.
Metagol - an inductive logic programming system
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.
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
A terse declarative logic programming language
Constraint Logic Programming over Finite Domains
OWL2 library for Prolog
Tableau-based Theorem Prover for Natural Logic and Language
A collection of Prolog libraries.