ada-language
There are 39 repositories under ada-language topic.
ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
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.
gabriele-galeotti/SweetAda
Ada-language framework
zertovitch/gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
zertovitch/lea
LEA is a Lightweight Editor for Ada
zertovitch/zip-ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
zertovitch/gwindows
GWindows: GUI framework for MS Windows
zertovitch/ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
zertovitch/globe-3d
GLOBE_3D: a real-time 3D Engine written in Ada
HeisenbugLtd/spat
SPARK Proof Analysis Tool
zertovitch/ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
zertovitch/cbsg
The Corporate Bullshit Generator
HeisenbugLtd/Saatana
A cryptographic framework, proven for correctness in SPARK
zertovitch/pascal-to-ada
Pascal to Ada translator
zertovitch/azip
AZip: a free, portable Zip Archive Manager
zertovitch/mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
alice-adventures/Alice
Adventures for Learning and Inspiring Coding Excellence
zertovitch/wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
HeisenbugLtd/si_units
Utility library to pretty print physical values in proper metric units
zertovitch/excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
zertovitch/ini-files
Ini file manager: a standalone, portable Ada package for configuration files
zertovitch/texcad
TeXCAD: a simple LaTeX {picture} drawing tool
DillonDepeel/Ada-games
a collection of games written using the ada programming language
seanpm2001/Learn-Ada
A repository for showcasing my knowledge of the Ada programming language, and continuing to learn the language.
Luzkan/AdaConcurrency
🏃 Concurrency / Pararell Computing Projects in Ada language
seanpm2001/AI2001_Category-Source_Code-SC-Ada
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Ada category for AI2001, containing Ada programming language datasets
seanpm2001/SNU_2D_ProgrammingTools_IDE_Ada
The Ada IDE submodule for SNU Programming Tools (2D Mode)
zertovitch/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 !
glencornell/xmada
Ada Language bindings for Motif, Xt & Xlib
HeisenbugLtd/open_weather_map_api
Ada interface to openweathermap API
mosteo/minirest
Minimalist REST Ada client library
Roldak/AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
zertovitch/ulid
ULID implementation in Ada
mgrojo/ada-planet
Backup of the ada-planet.blogspot.com feeds and gadgets
thechampagne/webview-ada
Ada binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.