GitHub topics: ada-language
ohenley/awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
Size: 933 KB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 727 - Forks: 76
zertovitch/azip
AZip: a free, portable Zip Archive Manager
Language: Ada - Size: 3.75 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 13 - Forks: 0
gabriele-galeotti/SweetAda
Ada-language framework
Language: Ada - Size: 29.5 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 45 - Forks: 5
zertovitch/cbsg
The Corporate Bullshit Generator
Language: Ada - Size: 459 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 14 - Forks: 0
alice-adventures/Alice
Adventures for Learning and Inspiring Coding Excellence
Language: Ada - Size: 12.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 12 - Forks: 2
zertovitch/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Language: Ada - Size: 11.3 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 143 - Forks: 13
zertovitch/gid
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Language: Ada - Size: 49.1 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 25 - Forks: 4
zertovitch/zip-ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
Language: Ada - Size: 19.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 28 - Forks: 5
zertovitch/globe-3d
GLOBE_3D: a real-time 3D Engine written in Ada
Language: Ada - Size: 39.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 4
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 - Size: 12.9 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 51 - Forks: 6
thechampagne/webview-ada
Ada binding & wrapper for a tiny cross-platform webview library to build modern cross-platform GUIs.
Language: Ada - Size: 862 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
HeisenbugLtd/Saatana
A cryptographic framework, proven for correctness in SPARK
Language: Ada - Size: 4.32 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 13 - Forks: 0
zertovitch/lea
LEA is a Lightweight Editor for Ada
Language: Ada - Size: 5.14 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 25 - Forks: 5
zertovitch/ulid
ULID implementation in Ada
Language: Ada - Size: 19.5 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0
zertovitch/ada-bar-codes
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Language: Ada - Size: 239 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 13 - Forks: 0
zertovitch/excel-writer
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
Language: Ada - Size: 454 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 7 - Forks: 0
zertovitch/mathpaqs
Mathpaqs: a collection of mathematical packages in pure Ada
Language: Ada - Size: 688 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 11 - Forks: 3
mgrojo/ada-planet
Backup of the ada-planet.blogspot.com feeds and gadgets
Size: 83 KB - Last synced at: 11 days ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
zertovitch/gwindows
GWindows: GUI framework for MS Windows
Language: Ada - Size: 53.8 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 21 - Forks: 5
zertovitch/texcad
TeXCAD: a simple LaTeX {picture} drawing tool
Language: Ada - Size: 1.56 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0
zertovitch/ini-files
Ini file manager: a standalone, portable Ada package for configuration files
Language: Ada - Size: 36.1 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 2
mosteo/minirest
Minimalist REST Ada client library
Language: Ada - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
zertovitch/ada-pdf-writer
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
Language: Ada - Size: 782 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 15 - Forks: 1
HeisenbugLtd/si_units
Utility library to pretty print physical values in proper metric units
Language: Ada - Size: 124 KB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 3
Luzkan/AdaConcurrency
🏃 Concurrency / Pararell Computing Projects in Ada language
Language: Ada - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0
HeisenbugLtd/open_weather_map_api
Ada interface to openweathermap API
Language: Ada - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
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 !
Language: Ada - Size: 600 KB - Last synced at: 12 months ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0
HeisenbugLtd/spat
SPARK Proof Analysis Tool
Language: Ada - Size: 3.52 MB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 4
seanpm2001/AI2001_Category-Source_Code-SC-Ada
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:Ada category for AI2001, containing Ada programming language datasets
Language: R - Size: 2.43 MB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1
zertovitch/pascal-to-ada
Pascal to Ada translator
Language: Ada - Size: 1.19 MB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 3
chkrr00k/AdaIrc
An ADA implementation of the irc protocol
Language: Ada - Size: 17.6 KB - Last synced at: 12 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
seanpm2001/SNU_2D_ProgrammingTools_IDE_Ada
The Ada IDE submodule for SNU Programming Tools (2D Mode)
Language: Ada - Size: 1.32 MB - Last synced at: 12 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 2
seanpm2001/Learn-Ada
A repository for showcasing my knowledge of the Ada programming language, and continuing to learn the language.
Language: Ada - Size: 490 KB - Last synced at: 12 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1
glencornell/xmada
Ada Language bindings for Motif, Xt & Xlib
Language: Ada - Size: 1.68 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0
zertovitch/wasabee
Wasabee: a Web browser with safety focus. Project is in early development stage.
Language: Ada - Size: 1.75 MB - Last synced at: 12 months ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 0
timmyjose-compilers/arithmetic-expression-evaluator-in-ada
A simple arithmetic expression evaluator wriitten in Ada.
Language: Ada - Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
Roldak/AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Language: Ada - Size: 50.8 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
zertovitch/lang-index
Language Popularity Index: an automated version of the TIOBE index. Project is inactive at the moment, but perhaps there are some interesting bits in the code...
Language: Ada - Size: 454 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0