AJ-Ianozi / getadaLinks
An unofficial installer for Alire
☆18Updated 7 months ago
Alternatives and similar repositories for getada
Users that are interested in getada are comparing it to the libraries listed below
Sorting:
- Parallel Specification and Implementation Language☆47Updated last month
- A compiler and IDE for the Micron programming language - the Oberon with the power of C☆69Updated this week
- A compiler for an Ada-like language☆32Updated 7 months ago
- The Oberon+ Programming Language Specification☆104Updated 2 years ago
- DasherA is a Data General DASHER D200/D210 terminal emulator☆37Updated last year
- LEA is a Lightweight Editor for Ada☆27Updated 3 months ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆22Updated 2 weeks ago
- Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-…☆50Updated last week
- Ada Keystore - protect your sensitive data with secure storage☆36Updated last week
- Dynamo Ada Application Code Generator☆17Updated last month
- Formally verified, bounded-stack XML library☆24Updated 5 years ago
- Pure Tcl Console Text Editor☆61Updated 2 years ago
- Modified version of the original from http://www.projectoberon.com/ for use with the Oberon IDE☆50Updated 2 years ago
- A cross-platform version of the ETH Oberon System 3 compatible with the Oberon+ compiler and IDE☆104Updated 4 months ago
- TOML parser for Ada☆36Updated 4 months ago
- Code to go with my article "The AWK book's 60-line version of Make"☆14Updated 2 years ago
- GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.☆78Updated 2 weeks ago
- The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.☆63Updated 5 years ago
- Ada Web Application - Framework to build high performance secure web applications☆105Updated last month
- GLOBE_3D: a real-time 3D Engine written in Ada☆19Updated 7 months ago
- Ada WASM Runtime and Bindings for Web API☆72Updated 9 months ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated 2 months ago
- GNAT Components Collection – Database packages☆15Updated 2 weeks ago
- Yet Another Static Site (Generator)☆26Updated 3 months ago
- Libadalang-based tools☆20Updated 2 weeks ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆82Updated 4 years ago
- An Ada-oriented GUI☆41Updated 5 months ago
- Infuse nim into xv6 till it replaces all the "C"☆13Updated 10 years ago
- “Quite OK Image” Ada implementation☆15Updated 3 years ago
- GNAT Components Collection – Core packages☆52Updated last week