ada-language
There are 3 repositories under ada-language topic.
ohenley / awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
- hac
zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Language:Ada 151 kburtch / SparForte
Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-critical projects, SparForte is designed for fast development while, at the same time, providing easier designing, maintenance and bug removal. About 130.000 lines of code.
Language:Ada 50- SweetAda
gabriele-galeotti / SweetAda
Ada-language framework
Language:Ada 47 - zip-ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
Language:Ada 32 - lea
LEA is a Lightweight Editor for Ada
Language:Ada 27 - gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Language:Ada 25 - gwindows
GWindows: GUI framework for MS Windows
Language:Ada 23 - ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Language:Ada 22 - globe-3d
GLOBE_3D: a real-time 3D Engine written in Ada
Language:Ada 19 - spat
HeisenbugLtd / spat
SPARK Proof Analysis Tool
Language:Ada 17 - ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Language:Ada 17 - Language:Ada 17
- Saatana
A cryptographic framework, proven for correctness in SPARK
Language:Ada 15 - azipLanguage:Ada 14
- cbsgLanguage:Ada 14
- Alice
alice-adventures / Alice
Adventures for Learning and Inspiring Coding Excellence
Language:Ada 13 Wasabee: a Web browser with safety focus. Project is in early development stage.
Language:Ada 13- mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Language:Ada 12 - si_units
Utility library to pretty print physical values in proper metric units
Language:Ada 9 Ini file manager: a standalone, portable Ada package for configuration files
Language:Ada 9- excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
Language:Ada 8 - texcad
TeXCAD: a simple LaTeX {picture} drawing tool
Language:Ada 6 - Language:Ada 4
- Ada-games
DillonDepeel / Ada-games
a collection of games written using the ada programming language
Language:Ada 3 - Learn-Ada
seanpm2001 / Learn-Ada
A repository for showcasing my knowledge of the Ada programming language, and continuing to learn the language.
Language:Ada 3 Luzkan / AdaConcurrency
🏃 Concurrency / Pararell Computing Projects in Ada language
Language:Ada 2Roldak / AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Language:Ada 2- AI2001_Category-Source_Code-SC-Ada
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Ada category for AI2001, containing Ada programming language datasets
Language:R 2 - SNU_2D_ProgrammingTools_IDE_Ada
The Ada IDE submodule for SNU Programming Tools (2D Mode)
Language:Ada 2 thechampagne / webview-ada
Ada binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.
Language:Ada 2- engine-3d
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
Language:Ada 2 Ada interface to openweathermap API
Language:Ada 1- Language:Ada 1
- Language:Ada 1
mgrojo / ada-planet
Backup of the ada-planet.blogspot.com feeds and gadgets
