Parallel Specification and Implementation Language
☆54Oct 16, 2026Updated 3 weeks ago
Alternatives and similar repositories for parasail
Users that are interested in parasail are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated 5 months ago
- Ada-language framework☆53Updated this week
- Alire port to aarch64☆15Aug 21, 2024Updated 2 years ago
- Ada User Community Input Working Group - Github Mirror Prototype☆38Oct 9, 2024Updated 2 years ago
- Platform to submit RFCs for the Ada & SPARK languages☆70Oct 22, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A process for Ada/SPARK software to meet ISO 26262☆32Aug 20, 2026Updated 2 months ago
- An Ada-oriented GUI☆46Aug 31, 2026Updated 2 months ago
- Zephyr Ada Apps☆11Apr 5, 2026Updated 7 months ago
- ada privilege escalation☆12Apr 26, 2025Updated last year
- The Google Protocol Buffers implementation in Ada☆45Sep 21, 2026Updated last month
- Collection of basic math routines in Ada☆28Nov 1, 2026Updated last week
- A Money library for Ada☆24Aug 23, 2023Updated 3 years ago
- ☆21Updated this week
- A component to aid in writing shell-like applications in Ada.☆18Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The AURA Reference Implementation☆26Jul 16, 2025Updated last year
- Ada binding to ONNX runtime☆13Updated this week
- Thick database bindings to MySQL, PostgreSQL and SQLite for Ada☆35Oct 16, 2022Updated 4 years ago
- Generic Ada Library for Algorithms and Containers☆35Nov 5, 2024Updated 2 years ago
- ☆28Updated this week
- A set of Ada components to allow 3D simulations, games and GUI's in Ada.☆14Jan 22, 2022Updated 4 years ago
- Ada bindings for the notcurses text user interface library☆15Mar 6, 2023Updated 3 years ago
- SHA-3 and other Keccak related algorithms in SPARK/Ada.☆40Jun 14, 2026Updated 4 months ago
- The PragmAda Reusable Components☆36Oct 17, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Na…☆25Sep 12, 2026Updated last month
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- A Game Boy emulation library in Ada☆33Apr 11, 2026Updated 6 months ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆90Updated this week
- Mirror of Graphical File Manager for Linux☆20Jun 1, 2022Updated 4 years ago
- Ada-tailored UML Modeling Language☆12May 14, 2023Updated 3 years ago
- A modern GUI library for Ada: CSS styling, XML UI, SDL3☆58Oct 26, 2026Updated last week
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆177Oct 31, 2026Updated last week
- Analysis and manipulation of Ada software based on concrete syntax☆26Dec 11, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A production-ready Ada 2022 library providing functional programming abstractions for type-safe computation.☆15Jun 8, 2026Updated 5 months ago
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆22Oct 12, 2020Updated 6 years ago
- An unofficial installer for Alire☆20Jul 13, 2026Updated 3 months ago
- ☆25Oct 1, 2026Updated last month
- Simple blockchain in Ada☆24Sep 11, 2025Updated last year
- A startup code generator for embedded projects☆32Oct 22, 2026Updated 2 weeks ago
- Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE☆30Oct 11, 2022Updated 4 years ago