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