Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Test-driven system administration with a little extra logic.
-
Strange Loop 2014 archives
-
SWI-Prolog for SHaring: a SWI-Prolog web IDE
-
Some simple examples for new Prolog programmers
-
A new logic programming language.
-
An in-memory datalog implementation for OCaml.
-
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
-
A PCB for attaching an iPad retina LCD to a DisplayPort source
-
-
Logtalk 3.x development version
-
My public programs and models - mostly combinatorial problems and puzzles
-
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.
-
OWL2 library for Prolog
-
Parser for Attempto Controlled English (ACE)
-
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
-
Translate XML Schema into equivalent JSON Schema
-
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
-
A collection of Prolog libraries.
-
Open source Time Machine #2
-
My personal repo for 7LI7W exercises
-
A Magic: the Gathering™ expert system
-
Melzi Ardentissimo
-
A terse declarative logic programming language
-
Constraint Logic Programming over Finite Domains
-
MongoDB Driver for Prolog
