Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
aura github.com
An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines.
-
ada-gate github.com
AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux.
-
cuda github.com
Support for CUDA (Compute Unified Device Architecture) from AdaCore.
-
simple-blockchain github.com
Simple blockchain in Ada.
-
adalib github.com
Standard Ada library specification as defined in Reference Manual.
-
rxada github.com
An Ada 2012 implementation of the Rx methodology.
-
spark-xml github.com
A formally verified XML library in SPARK.
-
gneiss github.com
An interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the ada-runtime.
-
poly-orb github.com
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards.
-
ada-actions github.com
Ada Toolchains for GitHub Actions.
-
tada github.com
An opinionated package management tool for Ada.
-
ada-security github.com
OAuth 2.0 client and server framework to secure web applications.
-
ews github.com
Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler.
-
civ-klon github.com
Civilization-style turn-based strategy game. Requires asfml.
-
ravenadm github.com
Administration tool for Ravenports http://www.ravenports.com.
-
jwx github.com
A formally verified JSON library in SPARK.
-
globe-3d github.com
GL Object Based Engine for 3D.
-
win32ada github.com
Ada API to the Windows library.
-
hunter github.com
Graphical (gtkada) file manager for Linux.
-
ada-wiki github.com
Ada Wiki is a small library that provides a Wiki engine.
-
ada-synthetizer github.com
Sound Synthetizer Library implemented in Ada.
-
geste github.com
Sprite and tile 2D render engine designed to run on micro-controllers.
-
doom-ada github.com
Doom Emacs Ada language module with syntax highlighting, LSP and Alire support.
-
etherscope github.com
Ethernet traffic monitor on a STM32F746 board.
-
dynamo github.com
Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models.
-
pascal-to-ada github.com
A Pascal to Ada translator.
-
protobuf-ada github.com
Experimental Ada code generation support for Google Protocol Buffers.
-
opencl-ada github.com
An Ada binding for the OpenCL host API.
-
ada-venture github.com
AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes.
-
ada-time github.com
Ada binding for the Pebble Time smartwatch.
-
a-shell github.com
A component to aid in writing shell-like applications in Ada.
-
ux-strings github.com
Unicode extended strings.
-
cbsg github.com
The Corporate Bullshit Generator.
-
ada-bar-codes github.com
Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG.
-
noise-nugget github.com
Square Inch Synthesizer.
-
cappulada github.com
Ada binding generator for C++.
-
curses github.com
Advanced UNIX Terminal UI Ada Binding Package.
-
robotics-with-ada github.com
Robotics with Ada, ARM, and Lego.
-
matreshka github.com
Framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework.
-
ada-id github.com
Simple Ada library for generating UUIDs.
-
mathpaqs github.com
Collection of mathematical, 100% portable, packages in the Ada programming language.
-
azip github.com
A free, portable Zip Archive Manager.
-
ada-asf github.com
Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344).
-
analytical-engine github.com
An Ada 2012 emulation of Charles Babbage's Analytical Engine.
-
adasockets github.com
IPv4 socket library (TCP, UDP, and multicast).
-
kafka-ada github.com
Binding for the C librdkafka library, allows sending and receiving from a Kafka bus.
-
gnatcoll-bindings github.com
This is the bindings module of the GNAT Components Collection.
-
wasabee github.com
A Web browser with safety focus.
-
dw1000 github.com
Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip.
-
gnatcoll-db github.com
This is the DB module of the GNAT Components Collection.
- next page of items loading…
