Updated : 2020-01-25 00:29:24 UTC

Respositories

Counts
Total

/search/repositories?q=language:Ada

3217
New

/search/repositories?q=language:Ada+created:2020-01-24

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Ada+pushed:2020-01-24

16
Update Rate

( Update / Total ) * 100

0.50%
Sleeping

/search/repositories?q=language:Ada+pushed:<2019-01-24

2269
Stars
Star 1000+

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

0
Star 100+

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

8
Sum stars of Top 30 repos

sum ( repos.stars )

2173
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 )

597

Top Star Repos

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

  1. 197
    Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
  2. 192
    Id Software's Id-tech-4-BFG in the Ada programming language.
  3. 161
    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
  4. 130
    Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
  5. 124
    William Whitaker's WORDS, a Latin dictionary
  6. 110
    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
  1. 105
    SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
  2. 102
    The Ada Microkernel Project
  3. 76
    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. 64
    AWS is a complete framework to develop Web based applications in Ada.
  5. 62
    LLVM based GNAT compiler
  6. 61
    Ada semantic analysis library.
  7. 58
    Ada Bare Bones OS development tutorial source code
  8. 55
    Thick Ada binding for OpenGL and GLFW
  9. 55
    Roguelike in sky with a steampunk setting
  10. 51
    A G-code parser and CNC controller (in Ada)
  11. 51
    Ada bindings for the GTK+ graphical library.
  12. 50
    Ada 2012 bindings to SDL 2
  13. 49
    EwoK micro-kernel repository
  14. 48
    Command-line tool from the Alire project and supporting library
  15. 46
    Server implementing the Microsoft Language Protocol for Ada and SPARK
  16. 45
    Simple command line argument parser for C++ and Ada.
  17. 44
    Ada Web Application - Framework to build high performance secure web applications
  18. 40
    Shell, web engine, scripting language mission-critical, scalable projects.
  19. 36
    An Ada binding generator from SVD descriptions for bare board ARM devices.
  20. 33
    This repository contains course material published to the AdaCore University website
  21. 33
    The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  22. 32
    The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  23. 32
    AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  24. 31
    GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

New Repos

/search/repositories?q=language:Ada+created:2020-01-24&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Ada

662
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.86