Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
ewok github.com
A microkernel targeting micro-controllers and embedded systems.
-
ocarina github.com
AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL.
-
bb-runtimes github.com
GNAT bare metal board support package (BSP).
-
svd2ada github.com
An Ada binding generator from SVD descriptions for bare board ARM devices.
-
byron github.com
A community project to build an Ada compiler, toolchain, and IDE-system.
-
acnc github.com
A G-code parser and CNC controller (in Ada).
-
gnatcoll-core github.com
This is the core module of the GNAT Components Collection.
-
hirtos github.com
A high-integrity RTOS written in SPARK Ada.
-
SweetAda github.com
A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards.
-
ada-yaml github.com
Experimental YAML 1.3 implementation in Ada.
-
adamant github.com
A component-based, model-driven framework for constructing reliable and reusable real-time software.
-
json-ada github.com
An Ada 2012 library for parsing JSON.
-
gnat-coverage github.com
GNATcoverage is a tool to analyze and report program coverage.
-
ada-gui github.com
GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from gnoga.
-
ada-lua github.com
Ada binding for Lua.
-
protobuf github.com
A Google Protocol Buffers implementation in Ada, using matreshka.
-
asfml github.com
Ada binding to the Simple and Fast Multimedia Library.
-
zeromq-ada github.com
Binding to the ZeroMQ comunications-library.
-
libkeccak github.com
A SPARK implementation of the Keccak family of sponge functions and related constructions.
-
dashera github.com
Data General DASHER terminal emulator using gtkada.
-
ada-toml github.com
TOML parser for Ada.
-
ada-keystore github.com
Ada Keystore - protect your sensitive data with secure storage.
-
wee-noise-maker github.com
Wee Noise Maker is an open source pocket synthesizer.
-
certiflie github.com
Source code for the full Ada + SPARK Crazyflie 2.0 firmware.
-
zip-ada github.com
Programming library for dealing with the Zip compressed archive file format.
-
ada-synth-lib github.com
Simple audio synthesis library that can run on bareboard devices.
-
pragmarc github.com
PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering.
-
ada-base github.com
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada.
-
ada-runtime github.com
A downsized Ada runtime which can be adapted to different platforms.
-
ada-traits-containers github.com
Generic Ada Library for Algorithms and Containers.
-
lea github.com
A Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. LEA includes HAC, the HAC Ada Compiler.
-
eagle-lander github.com
Apollo 11 lunar lander simulator (gtkada/Cairo).
-
gade github.com
A Game Boy emulation library in Ada.
-
augusta github.com
Ada compiler written in Scala that targets LLVM.
-
swagger-ada github.com
Ada support for Swagger codegen: OpenAPI Generator is a code generator that supports generation of API client libraries, server stubs and documentation automatically given an OpenAPI Spec.
-
ada-ado github.com
Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports PostgreSQL, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM.
-
xmlada github.com
The XML/Ada toolkit.
-
havk github.com
x86-64 security-focused OS being created with SPARK.
-
bbt github.com
Simple tool to black box check the behavior of an executable through the command line.
-
libsparkcrypto github.com
A cryptographic library implemented in SPARK.
-
generic-image-decoder github.com
Multi-format image decoder library for Ada.
-
aforth github.com
Embeddable Forth interpreter written in Ada.
-
math-packages github.com
Collection of basic math routines in Ada.
-
crate-of-the-year github.com
Yearly prize for the best Alire crate in three categories: general, SPARK and embedded.
-
gwindows github.com
GNU Ada Visual Interface.
-
yass github.com
Yet Another Static Site Generator (like Jekyll or Hugo).
-
ada-enet github.com
Embedded network stack (Ethernet driver, IPv4, UDP, DNS, DHCP, NTP) for STM32F746 or STM32F769.
-
libgfxinit github.com
A graphics initialization (aka modesetting) library for embedded environments, implemented in SPARK.
-
ada-pdf-writer github.com
Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG).
-
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.
- next page of items loading…
