( 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
371Test-driven system administration with a little extra logic.
301SWI-Prolog for SHaring: a SWI-Prolog web IDE
269Some simple examples for new Prolog programmers
185Strange Loop 2014 archives
172LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
165An in-memory datalog implementation for OCaml.
161A new logic programming language.
150My public programs and models - mostly combinatorial problems and puzzles
143My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
142A PCB for attaching an iPad retina LCD to a DisplayPort source
123Logtalk - declarative object-oriented logic programming language
106OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
105Parser for Attempto Controlled English (ACE)
98Interpreter for a simple Lisp. Written in Prolog.
96Translate XML Schema into equivalent JSON Schema
94Free and open source A.I. system based on Python, TensorFlow and Prolog.
87The 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.
86Metagol - an inductive logic programming system
85These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
81A terse declarative logic programming language
81Constraint Logic Programming over Finite Domains
73OWL2 library for Prolog
66Tableau-based Theorem Prover for Natural Logic and Language
64A collection of Prolog libraries.
60A Magic: the Gathering™ expert system
60My personal repo for 7LI7W exercises
0When given a text file in the format of (a' + b + c) (a + b +c) for a logical equation it will find a assignment of truth values to make the whole formula true. A letter with a ' after is negated, a + is an or operator and all the bracketed terms have the and operator to combine them.
2393 Followers 100+
0 Repos per User
repos.Total / users.Total