An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Repository Index
56,638 visible repositories in the index
73–96 of 122 · Most stars
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
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.
Waking up with a fresh cup of coffee
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
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Ada packages for handling SI units of measure
Software controller for solenoid engines (Ada/STM32F4)
Chests are bounded containers
Easy to use logging facilities for output to console in Ada programs
A Button Mania game written in Ada
- ada
- game
- gtkada
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
Pretty printing library for Ada
- ada
- pretty-print
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
STM32 UI library and tools
- stm32
- ada
- ui
- display