Kensan

Orbot

Orbot: Mobile Anonymity + Circumvention

asmack

xmpp library smack 3.1.0 build env for android (see http://asmack.googlecode.com/ for binaries)

Gibberbot

Gibber Jabber Speaking Robot-powered Chat App for Android

ada-bfd

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.

Ada-Crypto-Library

The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.6.

AdaDoom3

Id Software's Id-tech-4-BFG in the Ada programming language.

AsahiLinux.github.io

AsahiLinux.org website

aws

AWS is a complete framework to develop Web based applications in Ada.

contained.af

A stupid game for learning about containers, capabilities, and syscalls.

hannes.nqsb.io

microkernel.info

Community site for microkernel projects.

mirage-www

Website infrastructure and content for mirage.io

SXML

tamp2

The Ada Monolithic kernel Project