HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
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.
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
NBAda - An Ada library of lock-free data structures and algorithms.
The repository host gives no description.
Ada finite-state machine generator.
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
POSIX Ada Bindings.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Ada bindings for the player robotic platform
Ada binding to OpenAL which tries to mimic original API while using Ada types.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada wrapper for the fast Stachniss' Hungarian solver
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet
Minimal binding to libdl