Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Repository Index
47,133 repositories indexed
25–48 of 92 · Most stars
Coroutines for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- coroutines
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
Builds of the GNAT Ada compiler from FSF GCC releases
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
An Ada binding for Lua.
A Starcraft 2 replay parser written in pure Ruby
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada-bindings for 0mq
A compiler for an Ada-like language
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
The repository host gives no description.
Ada API to the Windows library
Ada binding for the Pebble Time smartwatch
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
NBAda - An Ada library of lock-free data structures and algorithms.
libsodium for Ada - A secure cryptographic library
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL