Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
retro-arcade github.com
Space Invaders, Pacman, & Frogger games that run in a terminal on Windows, OS-X & Linux.
-
spark-railway-demo github.com
Simulated railway network in SPARK/Ada.
-
coffee-clock github.com
Waking up with a fresh cup of coffee.
-
az3 github.com
Ada binding for Z3.
-
gnatbdd github.com
Behavior Driven Development in Ada.
-
florist-blady github.com
A fork of Florist which is available as an Alire crate.
-
asap github.com
A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.
-
texcad github.com
A program for drawing or retouching {picture}s in LaTeX.
-
avoe github.com
Ada Version of Emacs. A small Emacs-like editor for the Linux terminal. In the spirit of Jove: familiar Emacs keys.
-
ada-tmbundle github.com
TextMate support for Ada.
-
dcf-ada github.com
An Ada 2012 library for document container files (Based on zip-ada).
-
threefish github.com
Ada Implementation of the Threefish-256 Encryption Algorithm.
-
spark-sip-hash github.com
Ada/SPARK implementation of the SipHash keyed hash function.
-
coreland-lua-ada github.com
Ada bindings to the Lua language.
-
ada-midi github.com
Implementation of Midi / MidiFile reading and writing.
-
parser-tools github.com
Tools for writing lexers / parsers in Ada.
-
gade-sdl github.com
An SDL2 Game Boy emulation front end for Gade using SDLAda.
-
ada-net-framework github.com
Ada bindings to the Microsoft NetFramework Api.
-
stm32-ui github.com
STM32 UI library and tools (graphs, images, 12 hour clock).
-
anagram github.com
Grammar handling and parser generation Ada library.
-
ada-pretty github.com
Pretty printing library for Ada.
-
ada-soundio github.com
Ada bindings for libsoundio.
-
agpl github.com
Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).
-
ada4cmake github.com
CMake macros for simple gnat project inclusion.
-
ada-ogl github.com
Ada OpenGL Framework.
-
lalg github.com
Interface to dense linear algebra packages.
-
chests github.com
Bounded containers for embedded systems.
-
mars-mpl github.com
Mars Polar Lander (Crash) Simulator (gtkada, aicwl).
-
ada-sodoku github.com
Small Library for Sodoku grid solving / finding.
-
ada-bundler github.com
Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.
-
rufas-cube github.com
RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).
-
solenoid-engine-controller github.com
Software controller for solenoid engines (Ada/STM32F4).
-
yotroc github.com
Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.
-
imgui-ada github.com
Ada binding of the ImGui library.
-
tp7-ada-gnoga github.com
Implementation of Turbo Pascal 7.0 units with gnoga.
-
buttons github.com
A simple gtkada Button Mania game.
-
simple-logging github.com
Easy to use logging facilities for output to console in Ada programs.
-
railway-simulation github.com
Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.
-
gnat-ce (discontinued) github.com
GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.
-
engine-3d github.com
A 3D engine for DOS-talgics.
-
testy github.com
Ada testing framework, part of Tada.
-
xia github.com
An Ada implementation of XPath 1.0.
-
dhondt github.com
Ada implementation of D'Hondt electoral result calculator.
-
acats-grading github.com
Tools for grading ACATS results, modified for Unix-like systems.
-
increment github.com
Incremental analysis in Ada.
-
a-stream-tools github.com
Stream utilities for Ada2005 and 2012.
-
weechat-ada github.com
Ada 2012 library for WeeChat plug-ins.
-
canberra-ada github.com
Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications.
-
player-ada github.com
Ada bindings for the player robotic platform.
-
adagio github.com
Gnutella2 (G2) network server leaf.
- next page of items loading…
