Dynamo Ada Application Code Generator
- code-generation
- ada
- web-application
Repository Index
56,139 visible repositories in the index
25–48 of 62 · Most stars
Ethernet traffic monitor on a STM32F746 board
A component to aid in writing shell-like applications in Ada.
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
ada privilege escalation
The Ada Conformity Assessment Test Suite, customised for GCC.
Bingo application in GTKAda
- gtkada
- gnat
- ada
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
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
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
- web
- servlet
- servlet-filter
- ada
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.
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Memory Analysis Tool
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption