|
Ada |
6 |
Ada 2012 bindings for Wayland |
Aug 13, 2022 |
|
Ada |
5 |
Ada 2012 bindings for libcurl |
Jun 08, 2022 |
|
Ada |
96 |
Ada 2012 bindings to SDL 2 |
Apr 13, 2023 |
|
Ada |
2 |
Ada 2012 bindings for the Opus audio codec. |
Jul 30, 2022 |
|
Ada |
13 |
Ada 2012 binding to Vulkan |
Nov 11, 2021 |
|
Ada |
2 |
Ada 2012 binding to LADSPA |
Jan 12, 2020 |
|
Ada |
3 |
Raytracer Challenge in Ada 2012 |
Jun 06, 2021 |
|
Ada |
3 |
Ada 2012 library for WeeChat plug-ins |
Jul 31, 2022 |
|
Ada |
27 |
An Ada 2012 library for parsing JSON |
Jul 31, 2022 |
|
Ada |
6 |
LISP 1.5 implementation using Ada 2012 |
Jan 20, 2023 |
|
Scala |
26 |
An Ada 2012 compiler in Scala |
Feb 18, 2023 |
|
Ada |
5 |
An Ada 2012 library for document container files |
Jul 30, 2022 |
|
Ada |
2 |
A suite of dynamic storage pools with subpool capabilities for Ada 95, Ada 2005, and … |
Nov 14, 2023 |
|
Ada |
3 |
Testing binding to C++ from Ada 2012 |
Jul 26, 2022 |
|
Ada |
3 |
Ada bindings to OpenAL |
Dec 29, 2022 |
|
C |
13 |
GObject wrapper for libcanberra |
Oct 20, 2015 |
|
Rust |
4 |
Rust bindings for Ada URL parser |
May 10, 2023 |
|
None |
2 |
Python bindings for Ada URL parser |
May 17, 2023 |
|
Ada |
46 |
The OpenGL 4.6 Rendering Kernel in Ada 2012 |
Jul 29, 2022 |
|
Ada |
4 |
Ada 2012 implementation of a red-black tree. |
Apr 01, 2022 |
|
Ada |
4 |
Pretty printing library for Ada |
Mar 14, 2022 |
|
Ada |
4 |
Incremental analysis in Ada |
May 15, 2021 |
|
Ada |
4 |
BitTorrent protocol implementation in Ada |
Dec 06, 2020 |
|
Ada |
4 |
Demo project using Orka 3D engine |
May 21, 2022 |
|
Ada |
4 |
GNAT 2 GOTO Converter |
Aug 31, 2021 |
|
Ada |
4 |
None |
Nov 22, 2021 |
|
Ada |
4 |
Automated PCAP Report Generator with Threat Intel Integration |
Aug 19, 2022 |
|
Ada |
4 |
Ada implementation of D’Hondt electoral result calculator |
Mar 21, 2022 |
|
Ada |
4 |
Progress indicators for command line tools in Ada. |
Feb 11, 2022 |
|
Ada |
5 |
Coroutines is a library for non-preemptive multitasking in Ada |
May 02, 2022 |
|
Ada |
5 |
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL |
May 13, 2021 |
|
Ada |
6 |
Implementation of the Secure Hashing Standard SHA-1 as defined in FIPS PUB 180-1. |
May 24, 2021 |
|
Ada |
6 |
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators |
Jan 31, 2022 |
|
Ada |
6 |
Latin-to-English translation based on William Whitaker's WORDS 1.97FC |
May 07, 2022 |
|
Ada |
6 |
Supports building the Ada Semantic Interface Specification library and tools for FSF GCC variants. Tracks … |
Aug 04, 2022 |
|
Ada |
6 |
ColdFrame generates Ada framework code and documentation from UML models. |
Feb 24, 2022 |
|
Ada |
6 |
None |
Mar 11, 2022 |
|
Ada |
6 |
Iterator-based directory walks in Ada |
Jul 30, 2022 |
|
Ada |
6 |
Ada Unit Testing Library |
Dec 31, 2021 |
|
Ada |
6 |
Just a small fun project to experiment with Ada |
Feb 15, 2021 |
|
Ada |
7 |
mirror of https://review.coreboot.org/libhwbase.git |
Jun 13, 2021 |
|
Ada |
7 |
Ada binding to Tcl/Tk, based on TASH |
May 01, 2022 |
|
Ada |
7 |
An Ada 2012 library to replace names between colons with emojis |
Jul 31, 2022 |
|
Ada |
7 |
The Ada Conformity Assessment Test Suite, customised for GCC. |
Oct 23, 2021 |
|
Ada |
8 |
An Ada 2012 library for monitoring filesystem events using Linux' inotify API |
Feb 03, 2022 |
|
Ada |
8 |
Semantic versioning in Ada |
Oct 26, 2021 |
|
Ada |
8 |
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, … |
Aug 15, 2022 |
|
Ada |
9 |
JSON Web Token (JWT) implementation in Ada |
Apr 26, 2022 |
|
Ada |
9 |
An Ada 2012 emulation of Charles Babbage’s Analytical Engine |
Jul 14, 2022 |
|
Ada |
10 |
A demo of best practices for open-source Ada/SPARK development |
Aug 07, 2022 |