SPARK TOTP library
Repository Index
47,133 repositories indexed
25–43 of 43 · Most stars
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
- ada
- ada-language
- excel
- excelwriter
Simulated railway network in SPARK/Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
STM32 UI library and tools
- stm32
- ada
- ui
- display
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Distributed Simulation of Transport Networks
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Raspberry Pi using a BBC Micro:Bit as temperature sensor
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
- weechat
- weechat-plugin
- ada
- emoji
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
a estensible template engine.
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Ada bindings for wiringPi
- raspberry-pi
- raspberrypi
- wiringpi
- wiringpi-library