Project Description Owner Last Change
adhcp.git DHCP implementation in Ada Reto Buerki 2 months ago
aget.git Ada Network Downloader Adrian-Ken Rueegsegger 2 years ago
alog.git Logging framework for the... Adrian-Ken Rueegsegger 8 days ago
anet.git Ada Networking Library Adrian-Ken Rueegsegger 2 months ago
aws-ldap-ext.git AWS LDAP Extensions Reto Buerki 6 years ago
cmfintranet.git Plone CMFIntranet product Reto Buerki 5 years ago
cuda-ada.git Ada CUDA binding Reto Buerki 12 months ago
dbus-ada.git Ada D-Bus binding Reto Buerki 7 weeks ago
debian/adabrowse.git Debian adabrowse package Adrian-Ken Rueegsegger 5 days ago
debian/ahven.git Debian ahven package Reto Buerki 2 months ago
debian/apq-postgresql.git Debian apq-postgresql package Adrian-Ken Rueegsegger 6 weeks ago
debian/apq.git Debian apq package Adrian-Ken Rueegsegger 8 weeks ago
debian/libgmpada.git Debian libgmpada package backport Adrian-Ken Rueegsegger 4 years ago
debian/opentoken.git Debian opentoken package Reto Buerki 5 years ago
debian/smartargs.git Debian smartargs package Reto Buerki 3 years ago
docs/msec-thesis1884.git Diploma Thesis 1884: Secure... Reto Buerki 7 months ago
docs/msec-thesis2081.git Diploma Thesis 2081: Secure... Adrian-Ken Rueegsegger 5 years ago
gitter-test.git Gitter Android test project Reto Buerki 2 years ago
gitter.git Git repository feed reader... Adrian-Ken Rueegsegger 12 months ago
ipcop/ipbill.git Host-based traffic billing... Reto Buerki 5 years ago
ipcop/proxybill.git User-based proxy system Reto Buerki 5 years ago
mcastmeeting-ng.git Proof of concept RTP-Multicast... Reto Buerki 5 years ago
mcastmeeting.git Proof of concept RTP-Multicast... Reto Buerki 5 years ago
muen.git An x86/64 Separation Kernel... Adrian-Ken Rueegsegger 4 days ago
orbkeys.git CORBA ORB interoperability... Reto Buerki 4 years ago
overlayer.git Automated Knoppix Remastering... Reto Buerki 5 years ago
paillier-zkp.git Paillier Zero-knowledge proof Reto Buerki 2 years ago
pcscada.git Ada PC/SC binding Reto Buerki 2 months ago
pixgrabber.git Web Picture Crawler for Windows Reto Buerki 5 years ago
spark-bignum.git SPARK Big Number Library Reto Buerki 3 years ago
spark-crypto.git SPARK Cryptographic Library Alexander Senier 4 weeks ago
sparkunit.git Unit test framework for SPARK Alexander Senier 8 months ago
spawn-manager.git Ada Spawn Manager Reto Buerki 23 months ago
tkm-rpc.git Trusted Key Manager RPC Library Adrian-Ken Rueegsegger 16 months ago
tkm.git Trusted Key Manager Reto Buerki 6 months ago
x509-ada.git Ada PKIX X.509 Library Reto Buerki 5 weeks ago
xfrm-ada.git Ada XFRM binding Reto Buerki 19 months ago
xfrm-proxy.git Trusted Key Manager XFRM proxy Reto Buerki 20 months ago