Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Ada5lgpl-3.0
5 years ago
adaada-netframeworkgcc
cmake-ada
cmake language support for ada, fork of PLplot's cross-platform support code: ht
CMake0other
6 years ago
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming lan
615cc0-1.0
4 months ago
adaada-bindingada-framework
FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS
Ada63gpl-3.0
29 days ago
adacortexgnat
ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoder
Ada69apache-2.0
29 days ago
adabeansjson
hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada120
27 days ago
adaada-languageada-library
sdlada
Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I m
Ada1zlib
4 months ago
adagame-development
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada235gpl-3.0
28 days ago
xmlezout
XML EZ Out is a small set of packages intended to aid the creation of XML-format
Ada2other
4 years ago
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python15agpl-3.0
5 years ago
adabinding-generatorbindings
Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada3
2 years ago
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (M
Ada66other
3 years ago
aadlada
asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to de
Ada2gpl-2.0
6 years ago
AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Ada258
2 years ago
adagame-enginevulkan
Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada60other
5 years ago
weechat-canberra
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
Ada1apache-2.0
2 years ago
adacanberraweechat
weechat-emoji
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
Ada2apache-2.0
2 years ago
adaemojiweechat
analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Ada9other
3 years ago
adaemulatorgmp
gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for deco
Ada23
2 months ago
adaada-languageada-library
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi
Ada152
2 years ago
adaformal-methodsformal-specification
excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheet
Ada7
3 months ago
adaada-languageada-library
Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Ada5lgpl-3.0
5 years ago
adaada-netframeworkgcc
cmake-ada
cmake language support for ada, fork of PLplot's cross-platform support code: ht
CMake0other
6 years ago
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming lan
615cc0-1.0
4 months ago
adaada-bindingada-framework
FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS
Ada63gpl-3.0
29 days ago
adacortexgnat
ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoder
Ada69apache-2.0
29 days ago
adabeansjson
hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada120
27 days ago
adaada-languageada-library
sdlada
Ada 2022 bindings to SDL 2 - Don't STAR this, this is my personal repo which I m
Ada1zlib
4 months ago
adagame-development
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada235gpl-3.0
28 days ago
xmlezout
XML EZ Out is a small set of packages intended to aid the creation of XML-format
Ada2other
4 years ago
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python15agpl-3.0
5 years ago
adabinding-generatorbindings
Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada3
2 years ago
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (M
Ada66other
3 years ago
aadlada
asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to de
Ada2gpl-2.0
6 years ago
AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Ada258
2 years ago
adagame-enginevulkan
Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada60other
5 years ago
weechat-canberra
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
Ada1apache-2.0
2 years ago
adacanberraweechat
weechat-emoji
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
Ada2apache-2.0
2 years ago
adaemojiweechat
analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
Ada9other
3 years ago
adaemulatorgmp
gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for deco
Ada23
2 months ago
adaada-languageada-library
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi
Ada152
2 years ago
adaformal-methodsformal-specification
excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheet
Ada7
3 months ago
adaada-languageada-library