Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
larsyencken / marelle
Test-driven system administration with a little extra logic.
-
strangeloop / StrangeLoop2014
Strange Loop 2014 archives
-
mcsoto / cosmos
A new logic programming language.
-
Emeryth / iPad3_lcd
A PCB for attaching an iPad retina LCD to a DisplayPort source
-
sebschub / FontPro
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
-
Anniepoo / prolog-examples
Some simple examples for new Prolog programmers
-
SWI-Prolog / swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
-
bitlaw-jp / the-constitution-of-japan
-
hakank / hakank
My public programs and models - mostly combinatorial problems and puzzles
-
vangelisv / thea
OWL2 library for Prolog
-
motools / musicontology
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.
-
Attempto / APE
Parser for Attempto Controlled English (ACE)
-
hairykiwi / OTM-02
Open source Time Machine #2
-
wouterbeek / Prolog-Library-Collection
A collection of Prolog libraries.
-
sciguy14 / Eagle-Tutorial-Series
These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
-
c-cube / datalog
An in-memory datalog implementation for OCaml.
-
kikito / 7-languages-in-7-weeks
My personal repo for 7LI7W exercises
-
stassa / Gleemin
A Magic: the Gathering™ expert system
-
fnogatz / xsd2json
Translate XML Schema into equivalent JSON Schema
-
khueue / prolongo
MongoDB Driver for Prolog
-
dragonwasrobot / learn-prolog-now-exercises
My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
-
reprappro / melzi
Melzi Ardentissimo
-
semifor / twirc
Twitter / IRC gateway in perl
-
kernd / Eagle
holds all eagle files - projects and libraries
-
Anniepoo / swiplwebtut
A tutorial for the swipl web framework