Server implementing the Microsoft Language Protocol for Ada and SPARK
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A secure and high performances microkernel for building secure MCU-based IoTs
Ada-language framework
- ada
- ada-language
- arm
- avr
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Yet Another Static Site (Generator)
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Language Server Protocol for Ada
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
SPARK TOTP library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
Behavior Driven Development in Ada
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
Ada bindings for the player robotic platform
A fuzzy inference system library for Ada
Ada binding to OpenAL which tries to mimic original API while using Ada types.