Prolog

Updated : 2019-08-21 00:21:52 UTC

Respositories

Counts
Total

/search/repositories?q=language:Prolog

13694
New

/search/repositories?q=language:Prolog+created:2019-08-20

6
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

/search/repositories?q=language:Prolog+pushed:2019-08-20

29
Update Rate

( Update / Total ) * 100

0.21%
Sleeping

/search/repositories?q=language:Prolog+pushed:<2018-08-20

9952
Stars
Star 1000+

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

0
Star 100+

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

18
Sum stars of Top 30 repos

sum ( repos.stars )

4033
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

2
Sum forks of Top 30 repos

sum ( repos.forks )

1473

Top Star Repos

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

  1. 379
    Test-driven system administration with a little extra logic.
  2. 313
    SWI-Prolog for SHaring: a SWI-Prolog web IDE
  3. 291
    Some simple examples for new Prolog programmers
  4. 187
    Strange Loop 2014 archives
  5. 178
    LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
  6. 174
    An in-memory datalog implementation for OCaml.
  1. 166
    My public programs and models - mostly combinatorial problems and puzzles
  2. 161
    A new logic programming language.
  3. 156
    OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
  4. 153
    My solutions to the exercises and practical sessions of the book &#39;Learn Prolog Now!&#39; by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
  5. 146
    A PCB for attaching an iPad retina LCD to a DisplayPort source
  6. 138
    Logtalk - declarative object-oriented logic programming language
  7. 110
    Parser for Attempto Controlled English (ACE)
  8. 109
    Metagol - an inductive logic programming system
  9. 107
    Free and open source A.I. system based on Python, TensorFlow and Prolog.
  10. 105
    Interpreter for a simple Lisp. Written in Prolog.
  11. 103
    Translate XML Schema into equivalent JSON Schema
  12. 94
    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.
  13. 92
    These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
  14. 90
    Constraint Logic Programming over Finite Domains
  15. 87
    A terse declarative logic programming language
  16. 81
    OBD-II CAN adapter for Particle Electron, Photon, and RedBear Duo
  17. 80
    OWL2 library for Prolog
  18. 70
    Tableau-based Theorem Prover for Natural Logic and Language
  19. 64
    A collection of Prolog libraries.
  20. 64
    A Magic: the Gathering™ expert system
  21. 62
    GNU-Make-like utility for managing builds and complex workflows
  22. 62
    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.
  23. 59
    A collection of tools for working with Qualcomm MSM devices

New Repos

/search/repositories?q=language:Prolog+created:2019-08-20&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Prolog

2553
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.36