Componolit/Cappulada external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Componolit/Cappulada

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Componolit/Cappulada)

Close

Componolit / CappuladaView on GitHubMore

• External links
• Readme badge

[DEPRECATED] Generate Ada bindings to C++ code

☆16Dec 9, 2019Updated 6 years ago

Alternatives and similar repositories for Cappulada

Users that are interested in Cappulada are comparing it to the libraries listed below

• Componolit / ada-runtime

  View on GitHub
  ☆34Aug 2, 2022Updated 3 years ago
• michael-hardeman / gdnative_ada

  View on GitHub
  godot nativescript bindings in ada
  ☆15Nov 10, 2020Updated 5 years ago
• charlie5 / aShell

  View on GitHub
  A component to aid in writing shell-like applications in Ada.
  ☆16Nov 4, 2025Updated 3 months ago
• BrentSeidel / Ada-Lisp

  View on GitHub
  Tiny Lisp Interpreter Written in Ada
  ☆31Dec 14, 2025Updated 2 months ago
• Componolit / jwx

  View on GitHub
  JSON/JWK/JWS/JWT/Base64 library in SPARK
  ☆19Oct 12, 2020Updated 5 years ago
• jrmarino / AdaBase

  View on GitHub
  Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
  ☆35Oct 16, 2022Updated 3 years ago
• Fabien-Chouteau / usb_embedded

  View on GitHub
  An Ada USB stack for embedded devices
  ☆23Mar 6, 2025Updated 11 months ago
• jrcarter / PragmARC

  View on GitHub
  The PragmAda Reusable Components
  ☆36Jan 9, 2026Updated last month
• OneWingedShark / Byron

  View on GitHub
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆63May 16, 2020Updated 5 years ago
• Componolit / SXML

  View on GitHub
  Formally verified, bounded-stack XML library
  ☆24May 26, 2020Updated 5 years ago
• docandrew / CuBit

  View on GitHub
  General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
  ☆84May 14, 2021Updated 4 years ago
• Componolit / gneiss

  View on GitHub
  Framework for platform-independent SPARK components
  ☆24Aug 28, 2020Updated 5 years ago
• simonjwright / stack_usage

  View on GitHub
  Calculates the maximum stack depth required by GCC-compiled code
  ☆11Aug 28, 2024Updated last year
• Fabien-Chouteau / bbqueue-spark

  View on GitHub
  An Ada implementation of James Munns' BBQueue
  ☆11Oct 17, 2025Updated 4 months ago
• RavSS / HAVK

  View on GitHub
  An attempt at a minimalistic and secure operating system.
  ☆27May 28, 2021Updated 4 years ago
• Lucretia / free-ada

  View on GitHub
  Build scripts for FSF GCC and AdaCore tools
  ☆49Apr 13, 2021Updated 4 years ago
• joakim-strandberg / aida_2012

  View on GitHub
  ☆15Feb 17, 2019Updated 7 years ago
• AdaCore / spawn

  View on GitHub
  ☆18Jan 26, 2026Updated last month
• Blunk-electronic / ada_training

  View on GitHub
  Training files for Ada courses
  ☆13Jan 26, 2026Updated last month
• HeisenbugLtd / Saatana

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• AdaCore / startup-gen

  View on GitHub
  A startup code generator for embedded projects
  ☆32Jan 9, 2026Updated last month
• AdaCore / gnat_community_install_script

  View on GitHub
  Script to automate the installation of the GNAT Community Installers
  ☆18Nov 13, 2019Updated 6 years ago
• ytomino / drake

  View on GitHub
  Drake: A Runtime Library for gcc-Ada
  ☆43May 2, 2020Updated 5 years ago
• AdaCore / ada-traits-containers

  View on GitHub
  Generic Ada Library for Algorithms and Containers
  ☆34Nov 5, 2024Updated last year
• ytomino / headmaster

  View on GitHub
  the translator from C headers to another language (currently, Ada only)
  ☆19Apr 27, 2024Updated last year
• TNO / Rejuvenation-Ada

  View on GitHub
  Analysis and manipulation of Ada software based on concrete syntax
  ☆26Dec 11, 2025Updated 2 months ago
• TamaMcGlinn / AdaBots

  View on GitHub
  Learn Ada by programming Minecraft robots!
  ☆19Jan 13, 2026Updated last month
• damaki / libkeccak

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆37Oct 19, 2023Updated 2 years ago
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Updated this week
• AdaCore / RecordFlux

  View on GitHub
  Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
  ☆122Jan 7, 2026Updated last month
• AdaCore / Robotics_with_Ada

  View on GitHub
  Robotics with Ada, ARM, and Lego
  ☆17Feb 10, 2024Updated 2 years ago
• yaml / AdaYaml

  View on GitHub
  experimental YAML 1.3 implementation in Ada
  ☆45Jan 20, 2022Updated 4 years ago
• onox / json-ada

  View on GitHub
  An Ada 2012 library for parsing JSON
  ☆45Jul 28, 2024Updated last year
• ada-actions / toolchain

  View on GitHub
  GitHub action to setup an Ada/SPARK dev environment
  ☆21Mar 11, 2022Updated 3 years ago
• wrmlab / wrmos

  View on GitHub
  RTOS based on L4 microkernel.
  ☆18Sep 18, 2018Updated 7 years ago
• RuudErmers / RMSVST3

  View on GitHub
  VST3 Wrapper for Delphi
  ☆21Nov 15, 2022Updated 3 years ago
• karakalo / lumen

  View on GitHub
  OpenGL GUI toolkit library for Ada
  ☆27Feb 15, 2013Updated 13 years ago
• Ada-France / aflex

  View on GitHub
  Aflex the Ada fast lexical analyser generator
  ☆18Jun 22, 2025Updated 8 months ago
• AdaCore / gnat-llvm

  View on GitHub
  LLVM based GNAT compiler
  ☆222Feb 20, 2026Updated last week