#

ada-language

Here are 32 public repositories matching this topic...

ohenley / awesome-ada

Star

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

awesome spark ada ada-binding gnat spark-ada ada-framework ada-language ada-programs ada-library

Updated Mar 8, 2021

zertovitch / hac

Star

HAC Ada Compiler - small Ada compiler fully in Ada

compiler ada ada-language

Updated Mar 27, 2021
Ada

Entomy / Ada-vscode

Sponsor Star

Ada language support for VS Code

syntax-highlighting language highlighting grammar vscode adc ada gnat ali vscode-language gpr ada-language

Updated Feb 15, 2020

spat

HeisenbugLtd / spat

Star

SPARK Proof Analysis Tool

proof ada formal-verification gnatprove spark-ada ada2012 ada-language spark2014 spark-proof-analysis

Updated Oct 19, 2020
Ada

zertovitch / gid

Star

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

jpg png jpeg pgm bmp image-processing gif ada pnm gif-decoder png-decoder bmp-decoder jpeg-decoder pgm-reader ada-language ada-library

Updated Jun 17, 2020
Ada

zertovitch / globe-3d

Star

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

opengl ada 3d-engine ada-language

Updated Jul 25, 2020
Ada

zertovitch / ada-pdf-writer

Star

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents

pdf ada pdf-generation ada-language ada-library

Updated Sep 7, 2020
Ada

zertovitch / lea

Star

LEA is a Lightweight Editor for Ada

editor ada ada-language

Updated Jan 18, 2021
Ada

zertovitch / ada-bar-codes

Star

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

qrcode barcode barcode-generator ada qrcode-generator ada-language ada-library

Updated Sep 15, 2019
Ada

Saatana

HeisenbugLtd / Saatana

Star

A cryptographic framework, proven for correctness in SPARK

cryptography encryption ada formal-verification spark-ada ada2012 ada-language cryptographic-framework spark2014

Updated Mar 27, 2021
Ada

zertovitch / mathpaqs

Star

Mathpaqs: a collection of mathematical packages in pure Ada

ada math-library ada-language ada-library

Updated Dec 14, 2020
Ada

zertovitch / zip-ada

Star

Zip-Ada: a standalone, portable Ada library for .zip archives

zip bzip2 lzma ada deflate-format deflate compression-library zip-archive ada-language ada-library

Updated Mar 15, 2021
Ada

zertovitch / gwindows

Star

GWindows: GUI framework for MS Windows

windows gui-framework ada ada-language ada-library

Updated Feb 8, 2021
Ada

si_units

HeisenbugLtd / si_units

Star

Utility library to pretty print physical values in proper metric units

scale distance physics digits pressure utility-library ada convenience instantiation si-units ada2012 subprograms ada-language formatting-output

Updated Oct 19, 2020
Ada

azip

zertovitch / azip

Star

AZip: a free, portable Zip Archive Manager

zip archive ada archive-manager ada-language

Updated Jan 5, 2021
Ada

zertovitch / texcad

Star

TeXCAD: a simple LaTeX {picture} drawing tool

tex drawing latex ada ada-language

Updated Sep 26, 2020
Ada

zertovitch / ini-files

Star

Ini file manager: a standalone, portable Ada package for configuration files

config ada configuration-file ini-parser configuration-files cfg-files ada-language ada-library

Updated Sep 7, 2020
Ada

zertovitch / excel-writer

Star

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

excel spreadsheet ada excelwriter ada-language ada-library

Updated Sep 7, 2020
Ada

zertovitch / cbsg

Star

The Corporate Bullshit Generator

fun text-generation ada ada-language

Updated Mar 22, 2021
Ada

mosteo / minirest

Sponsor Star

Minimalist REST Ada client library

ada rest-client ada-2012 ada-language

Updated Mar 26, 2021
Ada

zertovitch / engine-3d

Star

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 !

ada 3d-engine ada-language

Updated Sep 15, 2019
Ada

zertovitch / wasabee

Star

Wasabee: a Web browser with safety focus

web-browser ada ada-language

Updated Oct 13, 2020
Ada

zertovitch / pascal-to-ada

Star

Pascal to Ada translator

pascal translator ada ada-language

Updated Mar 12, 2021
Ada

Entomy / Ada-snippets

Sponsor Star

Provides extensive snippets for Ada within VS Code

snippets vscode vscode-extension ada snippets-collection vscode-snippets ada-language

Updated Jul 27, 2019

HeisenbugLtd / open_weather_map_api

Star

Ada interface to openweathermap API

weather-api ada ada2012 ada-language

Updated Apr 4, 2020
Ada

Roldak / AdaCompute

Star

An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.

gpu dsl opencl ada statically-typed ada-language

Updated Jun 15, 2020
Ada

glencornell / xmada

Star

Ada Language bindings for Motif, Xt & Xlib

motif xlib ada-language xtoolkit openmotif

Updated Nov 8, 2018
Ada

zertovitch / lang-index

Star

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...

ada ada-language

Updated Sep 15, 2019
Ada

chkrr00k / AdaIrc

Star

An ADA implementation of the irc protocol

irc irc-bot irc-client ada learning-by-doing ada-programming ada-language

Updated Dec 24, 2019
Ada

timmyjose-projects / arithmetic-expression-evaluator-in-ada

Star

A simple arithmetic expression evaluator wriitten in Ada.

ada arithmetic-expression-evaluator ada-language ada-lang

Updated Jul 24, 2020
Ada

Improve this page

Add a description, image, and links to the ada-language topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ada-language topic, visit your repo's landing page and select "manage topics."