Awesome Open Source

Programming Languages

Search results for ada language

12 search results found

Awesome Ada ⭐ 543

A curated list of awesome resources related to the Ada and SPARK programming language

Sparforte ⭐ 49

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.

Sweetada ⭐ 28

Ada-language framework

Gwindows ⭐ 16

GWindows: GUI framework for MS Windows

Globe 3d ⭐ 15

GLOBE_3D: a real-time 3D Engine written in Ada

A cryptographic framework, proven for correctness in SPARK

Ada Bar Codes ⭐ 12

Ada Bar Codes: bar code (1D and 2D) generator in pure Ada

Pascal To Ada ⭐ 11

Pascal to Ada translator

SPARK Proof Analysis Tool

The Corporate Bullshit Generator

Adventures for Learning and Inspiring Coding Excellence

Excel Writer ⭐ 6

Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets

Related Searches

Spark Ada Language (3)

1-12 of 12 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.