( 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
180Id Software's Id-tech-4-BFG in the Ada programming language.
179Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
110The GNAT Programming Studio.
110Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
109William Whitaker's WORDS, a Latin dictionary
98The Ada Microkernel Project
93SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
83SPARK 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.
50Thick Ada binding for OpenGL and GLFW
49Ada Bare Bones OS development tutorial source code
49AWS is a complete framework to develop Web based applications in Ada.
47A G-code parser and CNC controller (in Ada)
46Ada 2012 bindings to SDL 2
46Roguelike in sky with a steampunk setting
45Ada semantic analysis library.
42Ada bindings for the GTK+ graphical library.
37Shell, web engine, scripting language mission-critical, scalable projects.
34Ada Web Application - Framework to build high performance secure web applications
31The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
30An Ada binding generator from SVD descriptions for bare board ARM devices.
29This repository contains course material published to the AdaCore University website
29A Latin-English Dictionary Program
29Ada-bindings for 0mq
28An Ada binding for Lua.
27Drake: A Runtime Library for gcc-Ada
26Command-line tool from the Alire project and supporting library
25Enjoy a safe and faster web experience
592 Followers 100+
0 Repos per User
repos.Total / users.Total