A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Repository Index
47,133 repositories indexed
49–60 of 60 · Most stars
base58 encoding and decoding in ada
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Ada 2012 bindings for the Opus audio codec.
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
- weechat
- weechat-plugin
- ada
- emoji
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet
Christoph Karl Walter Grein's Smart Pointers
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
- weechat-plugin
- canberra
- ada
- weechat
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada