]> git.codelabs.ch Git
git.codelabs.ch /
List all projects
Project Description Owner Last Change
adhcp.git DHCP implementation in Ada Reto Buerki 2 months ago summary | shortlog | log | tree
adns.git DNS implementation in Ada Adrian-Ken Rüegsegger 8 months ago summary | shortlog | log | tree
aget.git Ada Network Downloader Adrian-Ken Rueegsegger 3 years ago summary | shortlog | log | tree
alire/muen-dev-env.git Alire meta crate for the Muen... Reto Buerki 18 months ago summary | shortlog | log | tree
alog.git Logging framework for the... Adrian-Ken Rueegsegger 8 months ago summary | shortlog | log | tree
anet.git Ada Networking Library Adrian-Ken Rueegsegger 6 weeks ago summary | shortlog | log | tree
aws-ldap-ext.git AWS LDAP Extensions Reto Buerki 16 years ago summary | shortlog | log | tree
cmfintranet.git Plone CMFIntranet product Reto Buerki 16 years ago summary | shortlog | log | tree
cuda-ada.git Ada CUDA binding Reto Buerki 11 months ago summary | shortlog | log | tree
dbus-ada.git Ada D-Bus binding Reto Buerki 6 weeks ago summary | shortlog | log | tree
debian/adabrowse.git Debian adabrowse package Adrian-Ken Rueegsegger 3 years ago summary | shortlog | log | tree
debian/ahven.git Debian ahven package Reto Buerki 8 months ago summary | shortlog | log | tree
debian/apq-postgresql.git Debian apq-postgresql package Adrian-Ken Rueegsegger 10 years ago summary | shortlog | log | tree
debian/apq.git Debian apq package Adrian-Ken Rueegsegger 10 years ago summary | shortlog | log | tree
debian/libgmpada.git Debian libgmpada package backport Adrian-Ken Rueegsegger 14 years ago summary | shortlog | log | tree
debian/opentoken.git Debian opentoken package Reto Buerki 15 years ago summary | shortlog | log | tree
debian/smartargs.git Debian smartargs package Reto Buerki 13 years ago summary | shortlog | log | tree
docs/msec-thesis1884.git Diploma Thesis 1884: Secure... Reto Buerki 10 years ago summary | shortlog | log | tree
docs/msec-thesis2081.git Diploma Thesis 2081: Secure... Adrian-Ken Rueegsegger 15 years ago summary | shortlog | log | tree
genode.git Genode OS Framework (codelabs... Adrian-Ken Rueegsegger 3 years ago summary | shortlog | log | tree
gitter-test.git Gitter Android test project Reto Buerki 12 years ago summary | shortlog | log | tree
gitter.git Git repository feed reader... Adrian-Ken Rueegsegger 11 years ago summary | shortlog | log | tree
ipcop/ipbill.git Host-based traffic billing... Reto Buerki 16 years ago summary | shortlog | log | tree
ipcop/proxybill.git User-based proxy system Reto Buerki 15 years ago summary | shortlog | log | tree
libxhcidbg.git xHCI debug capability driver... Adrian-Ken Rueegsegger 22 months ago summary | shortlog | log | tree
mcastmeeting-ng.git Proof of concept RTP-Multicast... Reto Buerki 16 years ago summary | shortlog | log | tree
mcastmeeting.git Proof of concept RTP-Multicast... Reto Buerki 16 years ago summary | shortlog | log | tree
muen.git An x86/64 Separation Kernel... Adrian-Ken Rueegsegger 25 hours ago summary | shortlog | log | tree
muen/build-cfg.git A Separation Kernel for High... Adrian-Ken Rueegsegger 3 weeks ago summary | shortlog | log | tree
muen/common.git A Separation Kernel for High... Adrian-Ken Rueegsegger 3 weeks ago summary | shortlog | log | tree
muen/contrib.git A Separation Kernel for High... Adrian-Ken Rueegsegger 3 weeks ago summary | shortlog | log | tree
muen/linux.git Linux kernel with Muen SK... Adrian-Ken Rueegsegger 8 days ago summary | shortlog | log | tree
muen/linux/muenblock.git Muen SK channel blockdev Linux... Reto Buerki 7 months ago summary | shortlog | log | tree
muen/linux/muenevents.git Muen SK events file system... Adrian-Ken Rueegsegger 2 years ago summary | shortlog | log | tree
muen/linux/muenfs.git Muen SK channel file system... Reto Buerki 16 months ago summary | shortlog | log | tree
muen/linux/muennet.git Muen SK virtual networking... Reto Buerki 9 months ago summary | shortlog | log | tree
muen/mugenhwcfg.git Muen hardware config generator Reto Buerki 3 months ago summary | shortlog | log | tree
muen/mugenschedcfg.git Muen scheduling plan generator Reto Buerki 7 years ago summary | shortlog | log | tree
muen/rts.git A Separation Kernel for High... Reto Buerki 6 hours ago summary | shortlog | log | tree
muen/rust-examples.git Muen Rust Examples Adrian-Ken Rueegsegger 6 weeks ago summary | shortlog | log | tree
muen/rust-libs.git Muen Rust Libraries Adrian-Ken Rueegsegger 5 weeks ago summary | shortlog | log | tree
muen/tau0.git Muen SK System Resource Manager Adrian-Ken Rueegsegger 3 weeks ago summary | shortlog | log | tree
muen/tools.git A Separation Kernel for High... Adrian-Ken Rueegsegger 6 hours ago summary | shortlog | log | tree
netlink-ada.git Ada binding for libnl Reto Buerki 4 years ago summary | shortlog | log | tree
orbkeys.git CORBA ORB interoperability... Reto Buerki 14 years ago summary | shortlog | log | tree
overlayer.git Automated Knoppix Remastering... Reto Buerki 16 years ago summary | shortlog | log | tree
paillier-zkp.git Paillier Zero-knowledge proof Reto Buerki 5 years ago summary | shortlog | log | tree
pcscada.git Ada PC/SC binding Reto Buerki 8 months ago summary | shortlog | log | tree
pixgrabber.git Web Picture Crawler for Windows Reto Buerki 16 years ago summary | shortlog | log | tree
sbs-tools.git Signed Block Stream tools Reto Buerki 8 months ago summary | shortlog | log | tree
sdmref.git Intel SDM Reference Checker Reto Buerki 3 years ago summary | shortlog | log | tree
slaacmon.git SLAAC monitor in Ada Reto Buerki 21 months ago summary | shortlog | log | tree
spark-bignum.git SPARK Big Number Library Reto Buerki 13 years ago summary | shortlog | log | tree
spark-crypto.git SPARK Cryptographic Library Alexander Senier 15 months ago summary | shortlog | log | tree
sparkunit.git Unit test framework for SPARK Alexander Senier 10 years ago summary | shortlog | log | tree
spawn-manager.git Ada Spawn Manager Reto Buerki 11 months ago summary | shortlog | log | tree
tkm-rpc.git Trusted Key Manager RPC Library Adrian-Ken Rueegsegger 2 months ago summary | shortlog | log | tree
tkm.git Trusted Key Manager Reto Buerki 2 months ago summary | shortlog | log | tree
x509-ada.git Ada PKIX X.509 Library Reto Buerki 3 years ago summary | shortlog | log | tree
xfrm-ada.git Ada XFRM binding Reto Buerki 3 years ago summary | shortlog | log | tree
xfrm-proxy.git Trusted Key Manager XFRM proxy Reto Buerki 4 years ago summary | shortlog | log | tree