Prolog

Updated : 2018-02-23 00:21:50 UTC

Respositories

Counts
Total

/search/repositories?q=language:Prolog

9573
New

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

15
Increase rate

( New / Total ) * 100

0.16%
Activity
Update

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

48
Update Rate

( Update / Total ) * 100

0.50%
Sleeping

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

6117
Stars
Star 1000+

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

1
Star 100+

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

14
Sum stars of Top 30 repos

sum ( repos.stars )

4279
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

1
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. 1177
    OWASP ModSecurity Core Rule Set (CRS) Project (Official Repository)
  2. 355
    Test-driven system administration with a little extra logic.
  3. 233
    SWI-Prolog for SHaring: a SWI-Prolog web IDE
  4. 185
    Strange Loop 2014 archives
  5. 185
    Some simple examples for new Prolog programmers
  6. 166
    Migration tool to convert a Microsoft SQL Server Database into a PostgreSQL database, as automatically as possible
  1. 149
    The Zonemaster Project
  2. 145
    LaTeX support for Adobe&#39;s Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
  3. 144
    A new logic programming language.
  4. 140
    An in-memory datalog implementation for OCaml.
  5. 130
    A PCB for attaching an iPad retina LCD to a DisplayPort source
  6. 113
    My public programs and models - mostly combinatorial problems and puzzles
  7. 101
    My solutions to the exercises and practical sessions of the book &#39;Learn Prolog Now!&#39; by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
  8. 94
    Logtalk 3.x development version
  9. 76
    Parser for Attempto Controlled English (ACE)
  10. 70
    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.
  11. 68
    These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.
  12. 67
    Translate XML Schema into equivalent JSON Schema
  13. 66
    OWL2 library for Prolog
  14. 58
    A collection of Prolog libraries.
  15. 54
    A terse declarative logic programming language
  16. 53
    Tableau-based Theorem Prover for Natural Logic and Language
  17. 53
    A Magic: the Gatheringâ„¢ expert system
  18. 52
    Constraint Logic Programming over Finite Domains
  19. 52
    Free and open source A.I. system based on Python, TensorFlow and Prolog.
  20. 50
    Open source Time Machine #2
  21. 49
    My personal repo for 7LI7W exercises
  22. 42
    forked from ultimachine/Ramps 1.4
  23. 42
    GNU-Make-like utility for managing builds and complex workflows

New Repos

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

Users

Total

/search/users?q=language:Prolog

1814
Followers 100+

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

1
Repos per User

repos.Total / users.Total

5.28