Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
alr2appimage github.com
A tool for automatically creating an AppImage executable from an Alire crate.
-
lace github.com
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
-
nb-ada github.com
NBAda : An Ada library of lock-free data structures and algorithms.
-
aunit github.com
Ada unit testing framework.
-
tcl-ada-shell github.com
Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk.
-
acats github.com
The Ada Conformity Assessment Test Suite, customised for GCC.
-
ada-ml github.com
Ada-tailored UML Modeling Language.
-
ada-lsp github.com
Language Server Protocol for Ada.
-
libsodium-ada github.com
A secure cryptographic library (libsodium for Ada).
-
parse-args github.com
Simple command-line argument parsing.
-
adage github.com
An Ada/SPARK alternative to sudo and doas.
-
radalib github.com
Ada library and tools for the analysis of Complex Networks and more.
-
adagl github.com
Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WebAssembly/WebGL).
-
ada-winrt github.com
Ada bindings for the Microsft WinRT Api.
-
rclada github.com
Ada client library for ROS2/RCL.
-
coldframe github.com
This tool generates Ada framework code and documentation from UML models.
-
areadline github.com
Ada binding to the readline library.
-
covid-19-simulator github.com
Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood.
-
ada-composition github.com
A collections of small nifty demos/sample code that may help better layout data or structure project.
-
florist github.com
POSIX Ada binding, IEEE Standards 1003.5(b,c).
-
ini-files github.com
The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.
-
excel-writer github.com
Create Excel files with basic formats.
-
ada-servlet github.com
Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315).
-
ob-ada-spark github.com
Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files.
-
gnatcoll-json github.com
This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components.
-
inotify-ada github.com
An Ada 2012 library for monitoring filesystem events using Linux' inotify API.
-
coap-spark github.com
A formally verified implementation of CoAP, the Constrained Application Protocol.
-
stotp github.com
Timed One-Time-Pad (RFC 6238) implementation in SPARK.
-
continuous-verification github.com
SPARK formal verification automated with Travis CI.
-
spark-norx github.com
Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.
-
auto-counters github.com
Reference counting approaches to resource management.
-
bingada github.com
Bingo application in gtkada.
-
si-units github.com
Utility library to pretty print physical values in proper metric units.
-
flyology github.com
Experimental GNAT runtime extension for ordinary Ada tasking, adding task-aware I/O and an opt-in lightweight lane that runs designated tasks as fibers on shared event loops.
-
axmpp github.com
With the AXMPP library you can connect to a Jabber server to send and receive messages.
-
ada-promises github.com
Implementing promises in Ada. Type-safe, efficient, thread-safe.
-
template-parser github.com
AWS templates engine.
-
ada-chess github.com
Chess engine written in Ada.
-
boehmgc-ada github.com
Ada binding to the Boehm-Demers-Weiser conservative garbage collector.
-
tashy github.com
Tcl Ada SHell Younger (Tashy) is derivate of Tash, focused mostly on Tk binding.
-
vim-ada-bundle github.com
Maintained Ada Bundle : Complete Ada-Mode for Vim/Neovim.
-
ada-bfd github.com
An Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
-
geo-energy-math github.com
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018).
-
giza github.com
This library is trying to be a simple widget tool kit for embedded platforms.
-
automate github.com
Finite-state machine generator.
-
mat github.com
Simple memory analysis tool intended to help understand where the memory is used in a program.
-
ada-lzma github.com
Ada binding for liblzma compression library.
-
ada-el github.com
This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL).
-
mosquitto-ada github.com
Binding for the MQTT broker Mosquitto.
-
play-2048 github.com
A clone of the popular 2048 game, implemented in Ada using asfml for graphics and ada-toml for saving state.
- next page of items loading…
