Trending in open source
See what the GitHub community is most excited about today.
Sign up for free to get started
-
Id Software's Id-tech-4-BFG in the Ada programming language.
-
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
-
The Ada Microkernel Project
-
William Whitaker's WORDS, a Latin dictionary
-
The 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.
-
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
-
The GNAT Programming Studio.
-
A G-code parser and CNC controller (in Ada)
-
Ada Bare Bones OS development tutorial source code
-
Thick Ada binding for OpenGL and GLFW
-
Ada 2012 bindings to SDL 2
-
An Ada binding for Lua.
-
Shell, web engine, scripting language mission-critical, scalable projects.
-
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
-
Ada-bindings for 0mq
-
Ada bindings for the GTK+ graphical library.
-
A Latin-English Dictionary Program
-
Drake: A Runtime Library for gcc-Ada
-
OpenGL GUI toolkit library for Ada
-
Ada For Microcontrollers (GPL)
-
An Ada binding generator from SVD descriptions for bare board ARM devices.
-
solving polynomial systems with homotopy continuation methods
-
Stable Matching Algorithm for Hospital-Residents Problem
-
GUI toolkit for Ada using OpenGL
-
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
