GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 247 · Most stars
Simple Turn-based Game
Context-based code search tool
Command-line tool from the Alire project and supporting library
William Whitaker's WORDS, a Latin dictionary
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
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)
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada semantic analysis library.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada 2022 bindings to SDL 2
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
Ada Web Application - Framework to build high performance secure web applications
Ada bindings for the GTK+ graphical library.
Thick Ada binding for OpenGL and GLFW
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Bare Bones OS development tutorial source code
This project is obsolete is no longer developed, maintained or serviced!
Ada WASM Runtime and Bindings for Web API