Id Software's Id-tech-4-BFG in the Ada programming language.
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Ada Web Application - Framework to build high performance secure web applications
Ada-language framework
- ada
- ada-language
- arm
- avr
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Ada Database Objects
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Ada OpenGL Framework
Easy to use logging facilities for output to console in Ada programs
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
A test framework in Ada
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Convenience subprograms to interact with C strings
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.