ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Repository Index
47,133 repositories indexed
49–72 of 101 · Most stars
AWS templates engine.
AdaChess is a smart chess engine written from scratch in the Ada programming language
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK formal verification automated with Travis CI
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
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
Ada finite-state machine generator.
Giza is trying to be a simple widget tool kit for embedded platforms
Boehm GC interface library for gcc-Ada (GNAT)
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.
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
Software controller for solenoid engines (Ada/STM32F4)
A Button Mania game written in Ada
- ada
- game
- gtkada
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
This is an Ada 2012 package that provides an interface to BLAS.
Ada General Purpose Library -- Miscellaneous utilities