( 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
187Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
184Id Software's Id-tech-4-BFG in the Ada programming language.
120The GNAT Programming Studio.
117Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
113William Whitaker's WORDS, a Latin dictionary
102SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
101The Ada Microkernel Project
98SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
74The 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.
55Thick Ada binding for OpenGL and GLFW
54AWS is a complete framework to develop Web based applications in Ada.
53Ada Bare Bones OS development tutorial source code
53Roguelike in sky with a steampunk setting
52Ada semantic analysis library.
49A G-code parser and CNC controller (in Ada)
49Ada bindings for the GTK+ graphical library.
47Ada 2012 bindings to SDL 2
40Shell, web engine, scripting language mission-critical, scalable projects.
38Ada Web Application - Framework to build high performance secure web applications
37Command-line tool from the Alire project and supporting library
33The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
32An Ada binding generator from SVD descriptions for bare board ARM devices.
32EwoK micro-kernel repository
31This repository contains course material published to the AdaCore University website
30An Ada binding for Lua.
30Ada-bindings for 0mq
30Drake: A Runtime Library for gcc-Ada
615 Followers 100+
0 Repos per User
repos.Total / users.Total