Kensan/brood-box
CLI tool for running coding agents inside hardware-isolated microVMs
Repositories
Kensan/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.
Kensan/Orbot
Orbot: Mobile Anonymity + Circumvention
Kensan/AsahiLinux.github.io
AsahiLinux.org website
Kensan/aws
AWS is a complete framework to develop Web based applications in Ada.
Kensan/mirage-www
Website infrastructure and content for mirage.io
Kensan/contained.af
A stupid game for learning about containers, capabilities, and syscalls.
Kensan/SXML
Kensan/hannes.nqsb.io
Kensan/microkernel.info
Community site for microkernel projects.
Kensan/asmack
xmpp library smack 3.1.0 build env for android (see http://asmack.googlecode.com/ for binaries)
Kensan/AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
Kensan/tamp2
The Ada Monolithic kernel Project
Kensan/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.
Kensan/Gibberbot
Gibber Jabber Speaking Robot-powered Chat App for Android