SPARK TOTP library
Repository Index
47,133 repositories indexed
121–144 of 230 · 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
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
The repository host gives no description.
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
- web
- servlet
- servlet-filter
- ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
- ada
- ada-language
- excel
- excelwriter
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
Ada finite-state machine generator.
Giza is trying to be a simple widget tool kit for embedded platforms
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
POSIX Ada Bindings.
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
Ada bindings for the MQTT broker mosquitto.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Memory Analysis Tool
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Mars Polar Lander Simulation
A SDL front end in Ada for libgade