GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
This is an Ada 2012 package that provides an interface to BLAS.
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Ada Posix Binding to Video 4 Linux, used for RPI