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–22 of 22 · 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
Ada Web Application - Framework to build high performance secure web applications
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
A secure and high performances microkernel for building secure MCU-based IoTs
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Ada support for OpenAPI code generator
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
Ada binding for the Pebble Time smartwatch
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada
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
Web UI on Ada
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet
Christoph Karl Walter Grein's Smart Pointers