SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Software controller for solenoid engines (Ada/STM32F4)
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering