An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
Repository Index
47,133 repositories indexed
793–816 of 987 · Most stars
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
Tag based configuration loader from different providers
- go
- golang
- configuration
- struct
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
The repository host gives no description.
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.
Maintained complete Ada-Mode for Vim/NeoVim
Fetch steam inventories as a readable stream to reduce ram usage
Array#forEach ponyfill for older browsers
Boehm GC interface library for gcc-Ada (GNAT)
A fast and minimal session manager for Neovim
Zero-config, auto-scaling worker pool for Go with priority-aware scheduling, adaptive resource management, and per-task retry logic.
- async
- auto-scaling
- backpressure
- concurrency
POSIX Ada Bindings.
Waking up with a fresh cup of coffee
Simulated railway network in SPARK/Ada