HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
47,133 repositories indexed
1–19 of 19 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada semantic analysis library.
Ada 2022 bindings to SDL 2
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada WASM Runtime and Bindings for Web API
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
A G-code parser and CNC controller (in Ada)
The Google Protocol Buffers implementation in Ada
TOML parser for Ada
Embeddable Forth interpreter written in Ada
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
AdaChess is a smart chess engine written from scratch in the Ada programming language
SPARK TOTP library
Formally verified implementation of the CoAP protocol in SPARK/Ada
tools for writing lexers / parsers in Ada
Grammar handling and parser generation Ada library
Extensions to the Tiny Lisp language for embedded applications
Incremental analysis in Ada
Web UI on Ada