( New / Total ) * 100
( Update / Total ) * 100
|Sum stars of Top 30 repos
sum ( repos.stars )
|Fork 1000+ Repos
|Sum forks of Top 30 repos
sum ( repos.forks )
Top Star Repos
163Id Software's Id-tech-4-BFG in the Ada programming language.
156Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
91William Whitaker's WORDS, a Latin dictionary
88The Ada Microkernel Project
86Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
79The GNAT Programming Studio.
68The 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.
60SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
45Thick Ada binding for OpenGL and GLFW
43Ada Bare Bones OS development tutorial source code
42A G-code parser and CNC controller (in Ada)
39Ada 2012 bindings to SDL 2
33Shell, web engine, scripting language mission-critical, scalable projects.
32Ada bindings for the GTK+ graphical library.
30Ada semantic analysis library.
28Roguelike in sky with steampunk theme
27AWS is a complete framework to develop Web based applications in Ada.
26An Ada binding for Lua.
25An Ada binding generator from SVD descriptions for bare board ARM devices.
25A Latin-English Dictionary Program
25Ada-bindings for 0mq
25The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
25Drake: A Runtime Library for gcc-Ada
21Ada Web Application
21OpenGL GUI toolkit library for Ada
20This repository contains course material published to the AdaCore University website
19GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
518 Followers 100+
0 Repos per User
repos.Total / users.Total