( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
368Test-driven system administration with a little extra logic.
290SWI-Prolog for SHaring: a SWI-Prolog web IDE
257Some simple examples for new Prolog programmers
186Strange Loop 2014 archives
167LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
158An in-memory datalog implementation for OCaml.
155A new logic programming language.
143My public programs and models - mostly combinatorial problems and puzzles
140My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
138A PCB for attaching an iPad retina LCD to a DisplayPort source
119Logtalk - declarative object-oriented logic programming language
102Parser for Attempto Controlled English (ACE)
94Translate XML Schema into equivalent JSON Schema
89Free and open source A.I. system based on Python, TensorFlow and Prolog.
83The 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.
82These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
81OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
80Metagol - an inductive logic programming system
78Constraint Logic Programming over Finite Domains
74A terse declarative logic programming language
70OWL2 library for Prolog
65Tableau-based Theorem Prover for Natural Logic and Language
63A collection of Prolog libraries.
57A Magic: the Gathering™ expert system
56My personal repo for 7LI7W exercises
55GNU-Make-like utility for managing builds and complex workflows
2309 Followers 100+
0 Repos per User
repos.Total / users.Total