Simple blockchain in Ada
☆22Sep 11, 2025Updated 5 months ago
Alternatives and similar repositories for simple_blockchain
Users that are interested in simple_blockchain are comparing it to the libraries listed below
Sorting:
- Mathpaqs: a collection of mathematical packages in pure Ada☆13Feb 6, 2026Updated 3 weeks ago
- Ada Database Objects☆28Dec 16, 2025Updated 2 months ago
- Generic Ada Library for Algorithms and Containers☆34Nov 5, 2024Updated last year
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆11Apr 12, 2021Updated 4 years ago
- An Ada 2012 library for parsing JSON☆45Jul 28, 2024Updated last year
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 5 years ago
- Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more☆79Dec 16, 2025Updated 2 months ago
- experimental YAML 1.3 implementation in Ada☆45Jan 20, 2022Updated 4 years ago
- Operating System development experiment in Ada☆37Dec 15, 2020Updated 5 years ago
- Ada Embedded Network Stack☆24Dec 23, 2025Updated 2 months ago
- ☆18Aug 20, 2019Updated 6 years ago
- NBAda - An Ada library of lock-free data structures and algorithms.☆13May 16, 2015Updated 10 years ago
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year
- Robotics with Ada, ARM, and Lego☆17Feb 10, 2024Updated 2 years ago
- Ada Keystore - protect your sensitive data with secure storage☆36Dec 16, 2025Updated 2 months ago
- Ada Web Application - Framework to build high performance secure web applications☆107Feb 22, 2026Updated last week
- Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It u…☆20Aug 9, 2023Updated 2 years ago
- OpenGL GUI toolkit library for Ada☆27Feb 15, 2013Updated 13 years ago
- Ada Bare Bones OS development tutorial source code☆90Nov 20, 2016Updated 9 years ago
- Aflex the Ada fast lexical analyser generator☆18Jun 22, 2025Updated 8 months ago
- Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents☆23Feb 16, 2026Updated 2 weeks ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images☆27Jan 5, 2026Updated last month
- Parallel Specification and Implementation Language☆49Jan 14, 2026Updated last month
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Collection of experiments with the Ada language☆15Mar 25, 2013Updated 12 years ago
- A Sponge plugin.☆10Jul 25, 2020Updated 5 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆14Nov 10, 2025Updated 3 months ago
- A collections of small nifty demos/sample code that may help better layout data or structure project☆10Nov 25, 2019Updated 6 years ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 8 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Source repository for the GNAT Bare Metal BSPs☆69Updated this week
- Garbage collection for Ada☆12Jan 15, 2023Updated 3 years ago
- The Ada Conformity Assessment Test Suite, customised for GCC.☆12Aug 1, 2024Updated last year
- SOM++ - C++ implementation of the Simple Object Machine Smalltalk☆13Aug 23, 2025Updated 6 months ago
- a programming language☆12Aug 19, 2020Updated 5 years ago
- Experimental APL interpreter in Rust☆16Dec 14, 2013Updated 12 years ago