☆18May 6, 2022Updated 3 years ago
Alternatives and similar repositories for protobuf-ada
Users that are interested in protobuf-ada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A 2D physics engine for Ada☆16Feb 19, 2019Updated 7 years ago
- DasherA is a Data General DASHER D200/D210 terminal emulator☆37Feb 21, 2026Updated last month
- The Google Protocol Buffers implementation in Ada☆44Jan 31, 2026Updated last month
- Zstandard for Ada - Fast real-time compression algorithm☆17Feb 3, 2023Updated 3 years ago
- Ada Security - OAuth 2.0 client and server framework to secure web applications☆23Mar 1, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Apache Kafka Ada client library, based off of librdkafka☆14Sep 2, 2022Updated 3 years ago
- Two-dimensional array library for Rust☆10Dec 29, 2024Updated last year
- AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros…☆17Jan 11, 2026Updated 2 months ago
- Ada-bindings for 0mq☆42Nov 17, 2025Updated 4 months ago
- Qt5 COVID-19 simulator. Ada code under the hood. 🤯☆11Oct 29, 2020Updated 5 years ago
- ☆22Nov 18, 2025Updated 4 months ago
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆23Jan 6, 2026Updated 2 months ago
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆46Jan 29, 2026Updated last month
- Many small scripts generate, comprise, and run a build system. (An adaptation of djb's "redo" build-tool idea.)☆22May 8, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Basic Rust kernel using Limine☆23Feb 23, 2024Updated 2 years ago
- Unofficial support for IBM Rational ClearCase most common commands on Visual Studio Code☆10Mar 20, 2026Updated last week
- Simple to use cross-platform BDD driver for black box testing☆18Mar 19, 2026Updated last week
- Decentralised, minimalist microblogging service for hackers☆19Oct 7, 2019Updated 6 years ago
- Simple perfect hashing in Python☆13Jan 16, 2022Updated 4 years ago
- Analysis and manipulation of Ada software based on concrete syntax☆26Dec 11, 2025Updated 3 months ago
- Formal specification and generation of verifiable binary parsers, message generators and protocol state machines☆123Jan 7, 2026Updated 2 months ago
- Mirror of Graphical File Manager for Linux☆20Jun 1, 2022Updated 3 years ago
- Display and control your Android device☆43Mar 21, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Vibessistant☆32Updated this week
- Deeply refactored and upgraded version of Space Trader for Java☆20Feb 15, 2021Updated 5 years ago
- Modern Implementation Of Interactive Fiction Interpreters (Z-Machine & Glulx)☆22Feb 4, 2026Updated last month
- Ada Wavefile Library☆19Dec 14, 2022Updated 3 years ago
- A dart implementation of Bob Nystrom's Lox language☆12Oct 10, 2024Updated last year
- Software for creating annotated texts and vocabulary flashcards for language learning☆10Apr 25, 2023Updated 2 years ago
- Kalman filters and other optimal and non-optimal estimation filters in Rust☆21Jul 8, 2020Updated 5 years ago
- An incomplete ZMachine interpreter written in C#☆10Jun 21, 2025Updated 9 months ago
- Production-ready microservices with Go and Kubernetes @ GopherCon Iceland☆10May 29, 2019Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This extended Eigen C++ template library and wrapper provide a malloc-free Moore-Penrose pseudoinverse solver.☆15May 31, 2022Updated 3 years ago
- G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry P…☆24Mar 19, 2026Updated last week
- An easy to use Monte Carlo savings and retirement planner.☆11May 13, 2019Updated 6 years ago
- Bare-metal BLDC controller for Pino the robot, written in Rust.☆19Feb 6, 2022Updated 4 years ago
- Konquest is the KDE version of Gnu-Lactic☆19Mar 13, 2026Updated last week
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- LEA is a Lightweight Editor for Ada☆30Mar 7, 2026Updated 2 weeks ago