AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
Repository Index
47,133 repositories indexed
49–72 of 93 · Most stars
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
ada privilege escalation
Language Server Protocol for Ada
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
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
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
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Behavior Driven Development in Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
A Button Mania game written in Ada
- ada
- game
- 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.
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming