Prolog

Updated : 2019-02-23 00:21:45 UTC

Respositories

Counts
Total

/search/repositories?q=language:Prolog

12410
New

/search/repositories?q=language:Prolog+created:2019-02-22

7
Increase rate

( New / Total ) * 100

0.06%
Activity
Update

/search/repositories?q=language:Prolog+pushed:2019-02-22

37
Update Rate

( Update / Total ) * 100

0.30%
Sleeping

/search/repositories?q=language:Prolog+pushed:<2018-02-22

8611
Stars
Star 1000+

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

0
Star 100+

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

13
Sum stars of Top 30 repos

sum ( repos.stars )

3552
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

0
Sum forks of Top 30 repos

sum ( repos.forks )

1420

Top Star Repos

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

  1. 368
    Test-driven system administration with a little extra logic.
  2. 290
    SWI-Prolog for SHaring: a SWI-Prolog web IDE
  3. 257
    Some simple examples for new Prolog programmers
  4. 186
    Strange Loop 2014 archives
  5. 167
    LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
  6. 158
    An in-memory datalog implementation for OCaml.
  1. 155
    A new logic programming language.
  2. 143
    My public programs and models - mostly combinatorial problems and puzzles
  3. 140
    My solutions to the exercises and practical sessions of the book &#39;Learn Prolog Now!&#39; by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
  4. 138
    A PCB for attaching an iPad retina LCD to a DisplayPort source
  5. 119
    Logtalk - declarative object-oriented logic programming language
  6. 102
    Parser for Attempto Controlled English (ACE)
  7. 94
    Translate XML Schema into equivalent JSON Schema
  8. 89
    Free and open source A.I. system based on Python, TensorFlow and Prolog.
  9. 83
    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.
  10. 82
    These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
  11. 81
    OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
  12. 80
    Metagol - an inductive logic programming system
  13. 78
    Constraint Logic Programming over Finite Domains
  14. 74
    A terse declarative logic programming language
  15. 70
    OWL2 library for Prolog
  16. 65
    Tableau-based Theorem Prover for Natural Logic and Language
  17. 63
    A collection of Prolog libraries.
  18. 57
    A Magic: the Gathering™ expert system
  19. 56
    My personal repo for 7LI7W exercises
  20. 55
    GNU-Make-like utility for managing builds and complex workflows
  21. 55
    Euler Yet another proof Engine
  22. 53
    forked from ultimachine/Ramps 1.4
  23. 51
    A collection of tools for working with Qualcomm MSM devices

New Repos

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

Users

Total

/search/users?q=language:Prolog

2309
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.37