( 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
1177OWASP ModSecurity Core Rule Set (CRS) Project (Official Repository)
355Test-driven system administration with a little extra logic.
233SWI-Prolog for SHaring: a SWI-Prolog web IDE
185Strange Loop 2014 archives
185Some simple examples for new Prolog programmers
166Migration tool to convert a Microsoft SQL Server Database into a PostgreSQL database, as automatically as possible
149The Zonemaster Project
145LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
144A new logic programming language.
140An in-memory datalog implementation for OCaml.
130A PCB for attaching an iPad retina LCD to a DisplayPort source
113My public programs and models - mostly combinatorial problems and puzzles
101My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
94Logtalk 3.x development version
76Parser for Attempto Controlled English (ACE)
70The 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.
68These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
67Translate XML Schema into equivalent JSON Schema
66OWL2 library for Prolog
58A collection of Prolog libraries.
54A terse declarative logic programming language
53Tableau-based Theorem Prover for Natural Logic and Language
53A Magic: the Gathering™ expert system
52Constraint Logic Programming over Finite Domains
52Free and open source A.I. system based on Python, TensorFlow and Prolog.
50Open source Time Machine #2
1814 Followers 100+
1 Repos per User
repos.Total / users.Total