Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Repository Index
55,640 visible repositories in the index
25–48 of 61 · Most stars
Ada client library for ROS2/RCL
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
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
SPARK TOTP library
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Ada EL - Expression Language Library (JSR245)
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
Software controller for solenoid engines (Ada/STM32F4)
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.
STM32 UI library and tools
- stm32
- ada
- ui
- display
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
J2Ada translates a Java valid source code in Ada source code.
G2 network server leaf
Ada 2012 bindings for libcanberra
- libcanberra
- ada
Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Stream utilities for Ada2022.
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32