git.codelabs.ch Git

]> git.codelabs.ch Git

Project	Description	Owner	Last Change
adhcp.git	DHCP implementation in Ada	Reto Buerki	12 days ago	summary \| shortlog \| log \| tree
adns.git	DNS implementation in Ada	Adrian-Ken Rüegsegger	6 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	16 months ago	summary \| shortlog \| log \| tree
alog.git	Logging framework for the...	Adrian-Ken Rueegsegger	6 months ago	summary \| shortlog \| log \| tree
anet.git	Ada Networking Library	Adrian-Ken Rueegsegger	3 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	15 years ago	summary \| shortlog \| log \| tree
cuda-ada.git	Ada CUDA binding	Reto Buerki	8 months ago	summary \| shortlog \| log \| tree
dbus-ada.git	Ada D-Bus binding	Reto Buerki	6 months 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	6 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	10 years ago	summary \| shortlog \| log \| tree
ipcop/ipbill.git	Host-based traffic billing...	Reto Buerki	15 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	20 months ago	summary \| shortlog \| log \| tree
mcastmeeting-ng.git	Proof of concept RTP-Multicast...	Reto Buerki	15 years ago	summary \| shortlog \| log \| tree
mcastmeeting.git	Proof of concept RTP-Multicast...	Reto Buerki	15 years ago	summary \| shortlog \| log \| tree
muen.git	An x86/64 Separation Kernel...	Adrian-Ken Rueegsegger	3 weeks ago	summary \| shortlog \| log \| tree
muen/build-cfg.git	An x86/64 Separation Kernel...	Adrian-Ken Rueegsegger	15 months ago	summary \| shortlog \| log \| tree
muen/common.git	An x86/64 Separation Kernel...	Adrian-Ken Rueegsegger	8 weeks ago	summary \| shortlog \| log \| tree
muen/contrib.git	An x86/64 Separation Kernel...	Adrian-Ken Rueegsegger	15 months ago	summary \| shortlog \| log \| tree
muen/linux.git	Linux kernel with Muen SK...	Adrian-Ken Rueegsegger	2 weeks ago	summary \| shortlog \| log \| tree
muen/linux/muenblock.git	Muen SK channel blockdev Linux...	Reto Buerki	5 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	13 months ago	summary \| shortlog \| log \| tree
muen/linux/muennet.git	Muen SK virtual networking...	Reto Buerki	7 months ago	summary \| shortlog \| log \| tree
muen/mugenhwcfg.git	Muen hardware config generator	Reto Buerki	7 weeks ago	summary \| shortlog \| log \| tree
muen/mugenschedcfg.git	Muen scheduling plan generator	Reto Buerki	6 years ago	summary \| shortlog \| log \| tree
muen/rust-examples.git	Muen Rust Examples	Adrian-Ken Rueegsegger	2 hours ago	summary \| shortlog \| log \| tree
muen/rust-libs.git	Muen Rust Libraries	Adrian-Ken Rueegsegger	3 days ago	summary \| shortlog \| log \| tree
muen/tau0.git	Muen SK System Resource Manager	Adrian-Ken Rueegsegger	6 weeks ago	summary \| shortlog \| log \| tree
muen/tools.git	An x86/64 Separation Kernel...	Adrian-Ken Rueegsegger	2 weeks ago	summary \| shortlog \| log \| tree
netlink-ada.git	Ada binding for libnl	Reto Buerki	3 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	15 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	6 months ago	summary \| shortlog \| log \| tree
pixgrabber.git	Web Picture Crawler for Windows	Reto Buerki	15 years ago	summary \| shortlog \| log \| tree
sbs-tools.git	Signed Block Stream tools	Reto Buerki	6 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	19 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	13 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	8 months ago	summary \| shortlog \| log \| tree
tkm-rpc.git	Trusted Key Manager RPC Library	Adrian-Ken Rueegsegger	2 weeks ago	summary \| shortlog \| log \| tree
tkm.git	Trusted Key Manager	Reto Buerki	2 weeks 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	3 years ago	summary \| shortlog \| log \| tree

OPML TXT