( 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
145Id Software's Id-tech-4-BFG in the Ada programming language.
140Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
83The Ada Microkernel Project
78William Whitaker's WORDS, a Latin dictionary
72Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
66The 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.
63The GNAT Programming Studio.
48SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
42Thick Ada binding for OpenGL and GLFW
41Ada Bare Bones OS development tutorial source code
39A G-code parser and CNC controller (in Ada)
35Ada 2012 bindings to SDL 2
32Shell, web engine, scripting language mission-critical, scalable projects.
29Ada bindings for the GTK+ graphical library.
27An Ada binding for Lua.
27Ada semantic analysis library.
24Drake: A Runtime Library for gcc-Ada
23Ada-bindings for 0mq
23AWS is a complete framework to develop Web based applications in Ada.
21An Ada binding generator from SVD descriptions for bare board ARM devices.
21A Latin-English Dictionary Program
21solving polynomial systems with homotopy continuation methods
21OpenGL GUI toolkit library for Ada
19Roguelike in sky with steampunk theme
18Ada For Microcontrollers (GPL)
18Ada Web Application
17Stable Matching Algorithm for Hospital-Residents Problem
486 Followers 100+
0 Repos per User
repos.Total / users.Total