Updated : 2018-12-19 00:27:29 UTC

Respositories

Counts
Total

/search/repositories?q=language:Ada

2622
New

/search/repositories?q=language:Ada+created:2018-12-18

5
Increase rate

( New / Total ) * 100

0.19%
Activity
Update

/search/repositories?q=language:Ada+pushed:2018-12-18

23
Update Rate

( Update / Total ) * 100

0.88%
Sleeping

/search/repositories?q=language:Ada+pushed:<2017-12-18

1741
Stars
Star 1000+

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

0
Star 100+

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

2
Sum stars of Top 30 repos

sum ( repos.stars )

1587
Forks
Fork 1000+ Repos

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

0
Fork 100+

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

0
Sum forks of Top 30 repos

sum ( repos.forks )

476

Top Star Repos

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

  1. 170
    Id Software's Id-tech-4-BFG in the Ada programming language.
  2. 170
    Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
  3. 99
    William Whitaker's WORDS, a Latin dictionary
  4. 93
    The GNAT Programming Studio.
  5. 93
    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
  6. 91
    The Ada Microkernel Project
  1. 80
    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
  2. 71
    SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
  3. 69
    The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.
  4. 46
    A G-code parser and CNC controller (in Ada)
  5. 46
    Thick Ada binding for OpenGL and GLFW
  6. 44
    Ada Bare Bones OS development tutorial source code
  7. 42
    Ada 2012 bindings to SDL 2
  8. 39
    AWS is a complete framework to develop Web based applications in Ada.
  9. 38
    Ada bindings for the GTK+ graphical library.
  10. 37
    Ada semantic analysis library.
  11. 35
    Roguelike in sky with a steampunk setting
  12. 33
    Shell, web engine, scripting language mission-critical, scalable projects.
  13. 29
    Ada-bindings for 0mq
  14. 27
    A Latin-English Dictionary Program
  15. 27
    The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  16. 26
    An Ada binding for Lua.
  17. 25
    An Ada binding generator from SVD descriptions for bare board ARM devices.
  18. 25
    This repository contains course material published to the AdaCore University website
  19. 25
    Ada Web Application
  20. 25
    Drake: A Runtime Library for gcc-Ada
  21. 23
    GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
  22. 20
    OpenGL GUI toolkit library for Ada
  23. 20
    AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  24. 19
    Enjoy a safe and faster web experience

New Repos

/search/repositories?q=language:Ada+created:2018-12-18&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Ada

565
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.64