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