GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
70,234 visible repositories in the index
1–5 of 5 · Most stars
SPARK 2014 re-implementation of the TweetNaCl crypto library
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming