Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Repository Index
47,133 repositories indexed
25–44 of 44 · Most stars
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
ada privilege escalation
Ada library and tools for the analysis of Complex Networks and more
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Simulated railway network in SPARK/Ada
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Ada OpenGL Framework
G2 network server leaf
A test framework in Ada
Ada binding to OpenAL which tries to mimic original API while using Ada types.
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Distributed Simulation of Transport Networks
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
Trivial implementation of fletcher_16 sum computation algorithm.