ada
WHATWG-compliant and fast URL parser written in modern C++
C++1071apache-2.0
last month
cppneonparser
Ada-LanguageServer
Prototype implementation of LSP client - Visual Studio 2017
C#1lgpl-3.0
5 years ago
ada
Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Ada5lgpl-3.0
4 years ago
adaada-netframeworkgcc
Ada-Crypto-Library
This project is obsolete is no longer developed, maintained or serviced!
Ada84other
6 years ago
cmake-ada
cmake language support for ada, fork of PLplot's cross-platform support code: ht
CMake0other
6 years ago
ada-bundler
Library and tool for transparently handling data and configuration file access i
Ada5
12 years ago
Ada-Synthetizer
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the ele
Ada15
9 months ago
adaalsaarm
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming lan
563cc0-1.0
last month
adaada-bindingada-framework
inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Ada8apache-2.0
2 years ago
adafilemonitorfilesystem
ada-asf
Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
Ada11apache-2.0
7 months ago
adaasffacelet
ada-awa
Ada Web Application - Framework to build high performance secure web application
Ada91apache-2.0
7 months ago
adadatabasehttps-server
ada-keystore
Ada Keystore - protect your sensitive data with secure storage
Ada30apache-2.0
7 months ago
keystoresecure-storagesecurity-tools
ada-security
Ada Security - OAuth 2.0 client and server framework to secure web applications
Ada20apache-2.0
7 months ago
adaauthenticationjwt
ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoder
Ada62apache-2.0
7 months ago
adabeansjson
ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Ada12
last year
adaada-languageada-library
hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada92
7 months ago
adaada-languagecompiler
zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byt
Ada18
10 months ago
adaada-languageada-library
Ada For Automation
"Ada for Automation" (A4A in short) is a framework for designing industrial auto
Ada2other
2 years ago
ada-bfd
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read bi
Ada7gpl-2.0
8 months ago
ada-servlet
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
Ada6apache-2.0
7 months ago
adaservletservlet-filter
ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF doc
Ada13
10 months ago
adaada-languageada-library
Ada-Sodoku
Small Library for Sodoku grid solving / finding
Ada5other
9 months ago
adaada-sodokubignumber
ada-wiki
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
Ada18apache-2.0
7 months ago
adadotclearhtml
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platfo
Ada219bsd-3-clause
6 months ago
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada205gpl-3.0
5 months ago
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada58gpl-3.0
last year
simple_logging
Easy to use logging facilities for output to console in Ada programs
Ada2lgpl-3.0
6 months ago
xmlezout
XML EZ Out is a small set of packages intended to aid the creation of XML-format
Ada2other
3 years ago
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python14agpl-3.0
4 years ago
adabinding-generatorbindings
libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Ada31bsd-3-clause
6 months ago
adaasconcshake
CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86
Ada75gpl-3.0
3 years ago
adaosspark
HungarianAlgorithm
Fully functional Hungarian Algorithm implementation in Ada
1gpl-3.0
6 months ago
adahungarian-algorithmkuhn
abf_io
A library of access routines to Axon's ABF file format (electrophysiology, most
Ada0gpl-3.0
6 years ago
adawebpack
Ada WASM Runtime and Bindings for Web API
Ada42bsd-3-clause
last year
adaada-runtimeada-wasm-runtime
Ada_BinToAsc
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6
Ada0isc
8 years ago
auto_counters
An Ada 2012 project that implements reference counting approaches to resource ma
Ada8isc
last year
Reqrep_Task_Pools
This is an Ada 2012 package that provides a task pool system for jobs which each
Ada1isc
9 years ago
SPARK_NORX
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti
Ada8isc
6 years ago
SPARK_SipHash
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function
Ada5other
6 years ago
Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada2
2 years ago
bare_bones
Ada Bare Bones OS development tutorial source code
Ada79other
7 years ago
adabare-bonesbare-bones-tutorial
rxada
An Ada 2012 implementation of the Rx methodology
Ada14lgpl-3.0
2 years ago
reactive-programmingreactivexrx
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (M
Ada57other
2 years ago
aadlada
asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to de
Ada2gpl-2.0
5 years ago
ews
The Embedded Web Server is designed for use in embedded systems with limited res
Ada11gpl-3.0
2 years ago
AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Ada247
last year
adagame-enginevulkan
DW1000
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Ada11mit
5 years ago
decawavedw1000ranging-sensor
Portable-OpenAL-Sound
Cross platform sound-playing utility for Ada apps with its own binding to OpenAL
C0gpl-3.0
6 months ago
adalinuxmusic-loops
COVID-19_Simulator
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Ada11mit
4 years ago
Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada55other
4 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
2 years ago
adaemulatorgmp
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Corte
Ada58gpl-3.0
last year
adacortexgnat
dynamo
Dynamo Ada Application Code Generator
Ada16apache-2.0
6 months ago
adacode-generationweb-application
gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for deco
Ada13
6 months ago
adaada-languageada-library
AdaChess
AdaChess is a smart chess engine written from scratch in the Ada programming lan
Ada1gpl-3.0
6 months ago
SipHash
A pure Ada implementation of the SipHash PRF (mirror repository).
Ada1bsd-3-clause
10 years ago
coldframe
ColdFrame generates Ada framework code and documentation from UML models.
Ada7gpl-2.0
7 months ago
adaargouml
ini-files
Ini file manager: a standalone, portable Ada package for configuration files
Ada5
3 years ago
adaada-languageada-library
mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Ada10
6 months ago
adaada-languageada-library
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi
Ada145
2 years ago
adaformal-methodsformal-specification
excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheet
Ada6
10 months ago
adaada-languageada-library
ada
WHATWG-compliant and fast URL parser written in modern C++
C++1071apache-2.0
last month
cppneonparser
Ada-LanguageServer
Prototype implementation of LSP client - Visual Studio 2017
C#1lgpl-3.0
5 years ago
ada
Ada-NetFramework
Ada bindings to the Microsoft NetFramework Api
Ada5lgpl-3.0
4 years ago
adaada-netframeworkgcc
Ada-Crypto-Library
This project is obsolete is no longer developed, maintained or serviced!
Ada84other
6 years ago
cmake-ada
cmake language support for ada, fork of PLplot's cross-platform support code: ht
CMake0other
6 years ago
ada-bundler
Library and tool for transparently handling data and configuration file access i
Ada5
12 years ago
Ada-Synthetizer
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the ele
Ada15
9 months ago
adaalsaarm
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming lan
563cc0-1.0
last month
adaada-bindingada-framework
inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Ada8apache-2.0
2 years ago
adafilemonitorfilesystem
ada-asf
Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
Ada11apache-2.0
7 months ago
adaasffacelet
ada-awa
Ada Web Application - Framework to build high performance secure web application
Ada91apache-2.0
7 months ago
adadatabasehttps-server
ada-keystore
Ada Keystore - protect your sensitive data with secure storage
Ada30apache-2.0
7 months ago
keystoresecure-storagesecurity-tools
ada-security
Ada Security - OAuth 2.0 client and server framework to secure web applications
Ada20apache-2.0
7 months ago
adaauthenticationjwt
ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoder
Ada62apache-2.0
7 months ago
adabeansjson
ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Ada12
last year
adaada-languageada-library
hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada92
7 months ago
adaada-languagecompiler
zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byt
Ada18
10 months ago
adaada-languageada-library
Ada For Automation
"Ada for Automation" (A4A in short) is a framework for designing industrial auto
Ada2other
2 years ago
ada-bfd
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read bi
Ada7gpl-2.0
8 months ago
ada-servlet
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
Ada6apache-2.0
7 months ago
adaservletservlet-filter
ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF doc
Ada13
10 months ago
adaada-languageada-library
Ada-Sodoku
Small Library for Sodoku grid solving / finding
Ada5other
9 months ago
adaada-sodokubignumber
ada-wiki
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
Ada18apache-2.0
7 months ago
adadotclearhtml
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platfo
Ada219bsd-3-clause
6 months ago
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada205gpl-3.0
5 months ago
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada58gpl-3.0
last year
simple_logging
Easy to use logging facilities for output to console in Ada programs
Ada2lgpl-3.0
6 months ago
xmlezout
XML EZ Out is a small set of packages intended to aid the creation of XML-format
Ada2other
3 years ago
Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
Python14agpl-3.0
4 years ago
adabinding-generatorbindings
libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Ada31bsd-3-clause
6 months ago
adaasconcshake
CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86
Ada75gpl-3.0
3 years ago
adaosspark
HungarianAlgorithm
Fully functional Hungarian Algorithm implementation in Ada
1gpl-3.0
6 months ago
adahungarian-algorithmkuhn
abf_io
A library of access routines to Axon's ABF file format (electrophysiology, most
Ada0gpl-3.0
6 years ago
adawebpack
Ada WASM Runtime and Bindings for Web API
Ada42bsd-3-clause
last year
adaada-runtimeada-wasm-runtime
Ada_BinToAsc
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6
Ada0isc
8 years ago
auto_counters
An Ada 2012 project that implements reference counting approaches to resource ma
Ada8isc
last year
Reqrep_Task_Pools
This is an Ada 2012 package that provides a task pool system for jobs which each
Ada1isc
9 years ago
SPARK_NORX
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti
Ada8isc
6 years ago
SPARK_SipHash
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function
Ada5other
6 years ago
Mine_Detector
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada2
2 years ago
bare_bones
Ada Bare Bones OS development tutorial source code
Ada79other
7 years ago
adabare-bonesbare-bones-tutorial
rxada
An Ada 2012 implementation of the Rx methodology
Ada14lgpl-3.0
2 years ago
reactive-programmingreactivexrx
ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (M
Ada57other
2 years ago
aadlada
asis2xml
Converts Ada sources’ ASIS representation to XML, so as to make it easier to de
Ada2gpl-2.0
5 years ago
ews
The Embedded Web Server is designed for use in embedded systems with limited res
Ada11gpl-3.0
2 years ago
AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Ada247
last year
adagame-enginevulkan
DW1000
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
Ada11mit
5 years ago
decawavedw1000ranging-sensor
Portable-OpenAL-Sound
Cross platform sound-playing utility for Ada apps with its own binding to OpenAL
C0gpl-3.0
6 months ago
adalinuxmusic-loops
COVID-19_Simulator
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Ada11mit
4 years ago
Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada55other
4 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
2 years ago
adaemulatorgmp
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Corte
Ada58gpl-3.0
last year
adacortexgnat
dynamo
Dynamo Ada Application Code Generator
Ada16apache-2.0
6 months ago
adacode-generationweb-application
gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for deco
Ada13
6 months ago
adaada-languageada-library
AdaChess
AdaChess is a smart chess engine written from scratch in the Ada programming lan
Ada1gpl-3.0
6 months ago
SipHash
A pure Ada implementation of the SipHash PRF (mirror repository).
Ada1bsd-3-clause
10 years ago
coldframe
ColdFrame generates Ada framework code and documentation from UML models.
Ada7gpl-2.0
7 months ago
adaargouml
ini-files
Ini file manager: a standalone, portable Ada package for configuration files
Ada5
3 years ago
adaada-languageada-library
mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Ada10
6 months ago
adaada-languageada-library
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programmi
Ada145
2 years ago
adaformal-methodsformal-specification
excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheet
Ada6
10 months ago
adaada-languageada-library