Prolog

Updated : 2020-07-06 00:23:23 UTC

Respositories

Counts
Total

/search/repositories?q=language:Prolog

16440
New

/search/repositories?q=language:Prolog+created:2020-07-05

7
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

/search/repositories?q=language:Prolog+pushed:2020-07-05

27
Update Rate

( Update / Total ) * 100

0.16%
Sleeping

/search/repositories?q=language:Prolog+pushed:<2019-07-05

12398
Stars
Star 1000+

/search/repositories?q=language:Prolog+stars:>=1000

0
Star 100+

/search/repositories?q=language:Prolog+stars:>=100

21
Sum stars of Top 30 repos

sum ( repos.stars )

5217
Forks
Fork 1000+ Repos

/search/repositories?q=language:Prolog+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Prolog+forks:>=100

4
Sum forks of Top 30 repos

sum ( repos.forks )

1732

Top Star Repos

/search/repositories?q=language:Prolog&sort=stars&order=desc&per_page=30

  1. 620
    open source model driven graph database for knowledge graph representation.
  2. 381
    Test-driven system administration with a little extra logic.
  3. 356
    Some simple examples for new Prolog programmers
  4. 344
    SWI-Prolog for SHaring: a SWI-Prolog web IDE
  5. 240
    OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
  6. 211
    My public programs and models - mostly combinatorial problems and puzzles
  1. 200
    An in-memory datalog implementation for OCaml.
  2. 190
    LaTeX support for Adobe&#39;s Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
  3. 188
    Logtalk - declarative object-oriented logic programming language
  4. 186
    Strange Loop 2014 archives
  5. 181
    My solutions to the exercises and practical sessions of the book &#39;Learn Prolog Now!&#39; by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
  6. 165
    A new logic programming language.
  7. 152
    A PCB for attaching an iPad retina LCD to a DisplayPort source
  8. 146
    Parser for Attempto Controlled English (ACE)
  9. 138
    Metagol - an inductive logic programming system
  10. 126
    Free and open source A.I. system based on Python, TensorFlow and Prolog.
  11. 111
    Interpreter for a simple Lisp. Written in Prolog.
  12. 110
    Translate XML Schema into equivalent JSON Schema
  13. 106
    BadUSB cable based on Attiny85 microcontroller.
  14. 103
    Constraint Logic Programming over Finite Domains
  15. 99
    These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
  16. 96
    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.
  17. 93
    A terse declarative logic programming language
  18. 89
    OBD-II CAN adapter for Particle Electron, Photon, and RedBear Duo
  19. 87
    Embeddable Lambda Prolog Interpreter
  20. 86
    O projeto BH OnOfre, é uma solução IoT baseada em ESP8266 com o objetivo de tornar a automação domiciliar muito mais simples, de forma aberta e sem restrições. Todo o código fonte é aberto bem como Hardware.
  21. 86
    OWL2 library for Prolog
  22. 76
    A Magic: the Gathering™ expert system
  23. 74
    Tableau-based Theorem Prover for Natural Logic and Language

New Repos

/search/repositories?q=language:Prolog+created:2020-07-05&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Prolog

3094
Followers 100+

/search/users?q=language:Prolog+followers:>=100

0
Repos per User

repos.Total / users.Total

5.31