Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
ada-bin2asc github.com
Various binary-to-ASCII codecs such as Base64.
-
sip-hash github.com
A pure Ada implementation of the SipHash PRF.
-
free-type-ada github.com
FreeType binding for Ada 2005.
-
winforms2gtk github.com
Helper conversor of Visual Basic Microsoft Windows Forms applications to Gtk and Ada.
-
portable-openal-sound github.com
A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds.
-
cmake-ada-cho3 github.com
CMake language support for Ada, fork of plplot's cross-platform support code.
-
smart-pointers github.com
A package providing a reference-counted access type Smart_Pointer.
-
ada-lsp-client github.com
Prototype implementation of LSP client - Visual Studio 2017.
-
multiplexed-io github.com
This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.
-
gela github.com
Ada code analyzer.
-
cvsweb2git github.com
Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.
-
rsfile github.com
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.
-
licensing github.com
Open Source Licenses library for Ada.
-
ada-utilities github.com
VSCode extension Ada programmers which provides a few utility functions.
-
ipfs github.com
InterPlanetary File System client library: CID/multihash/multibase, CAR archives with block verification, trustless HTTP gateway client.
-
elogs github.com
Logging framework for embedded systems absent of runtime errors.
-
wiring-pi-ada github.com
Ada bindings for wiringPi.
-
em-brick github.com
emBRICK driver and support for emBRICK in Ada.
-
abf-io github.com
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.
-
ada-v4l2 github.com
Ada Posix Binding to Video 4 Linux, used for RPI.
-
gnat-patches github.com
Curated GCC/GNAT patchsets against checksum-pinned upstream sources, each backed by an executable regression, published as patched native toolchain builds for GCC 13 through 16.
-
flyology-tui github.com
Typed, declarative terminal user-interface toolkit for Ada.
-
flyology-simd github.com
Portable, strongly typed SIMD foundations for Ada.
-
flyology-rdf github.com
RDF 1.2 terms, streaming Turtle, TriG, N-Triples and N-Quads parsing, RDFC-1.0 dataset canonicalization, Notation3, and SPARQL 1.1 query syntax.
-
flyology-postgres github.com
Client and server primitives for the PostgreSQL frontend/backend protocol, built on flyology task-aware I/O.
-
flyology-http github.com
HTTP/1.1 clients and servers with opt-in HTTP/2 and HTTP/3 engines and WebSocket support, built on flyology task-aware I/O.
-
fletcher github.com
Trivial implementation of fletcher_16 checksum computation algorithm.
-
evb1000 github.com
Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.
-
anuklear github.com
Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.
