A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
Ada Music Tracker Player
- tracker-music
- ada
- s3m
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
- weechat
- weechat-plugin
- ada
- emoji
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
A pure Ada implementation of the SipHash PRF (mirror repository).
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
Simple Layer 3 Protocol
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
- weechat-plugin
- canberra
- ada
- weechat
a estensible template engine.
Trivial implementation of fletcher_16 sum computation algorithm.
Demos of multiplexed digital I/O for AdaPilot