codelabs.ch git repositories
Git repositories hosted at codelabs.ch
index
Name
Description
Owner
Idle
adhcp.git
DHCP implementation in Ada
git version control
2 years
adns.git
DNS implementation in Ada
git version control
4 years
aget.git
Ada Network Downloader
git version control
4 years
alire/muen-dev-env.git
Alire meta crate for the Muen toolchain
git version control
13 months
alog.git
Logging framework for the Ada programming language
git version control
4 years
anet.git
Ada Networking Library
git version control
7 months
aws-ldap-ext.git
AWS LDAP Extensions
git version control
4 years
bob/ada.git
Bob recipes layer for Ada projects
git version control
bob/codelabs.git
Bob recipes layer for codelabs projects
git version control
bob/muen.git
Bob recipes layer for Muen
git version control
cmfintranet.git
Plone CMFIntranet product
git version control
4 years
cuda-ada.git
Ada CUDA binding
git version control
3 years
dbus-ada.git
Ada D-Bus binding
git version control
18 months
debian/adabrowse.git
Debian adabrowse package
git version control
4 years
debian/ahven.git
Debian ahven package
git version control
18 months
debian/apq-postgresql.git
Debian apq-postgresql package
git version control
4 years
debian/apq.git
Debian apq package
git version control
4 years
debian/libgmpada.git
Debian libgmpada package backport
git version control
4 years
debian/opentoken.git
Debian opentoken package
git version control
4 years
debian/smartargs.git
Debian smartargs package
git version control
4 years
docs/msec-thesis1884.git
Diploma Thesis 1884: Secure Multicast with Linux, Kernel 2.6
git version control
4 years
docs/msec-thesis2081.git
Diploma Thesis 2081: Secure Multicast Communication
git version control
4 years
genode.git
Genode OS Framework (codelabs fork)
git version control
4 years
gitter-test.git
Gitter Android test project
git version control
4 years
gitter.git
Git repository feed reader for Android
git version control
4 years
ipcop/ipbill.git
Host-based traffic billing system
git version control
4 years
ipcop/proxybill.git
User-based proxy system
git version control
4 years
libxhcidbg.git
xHCI debug capability driver Library
git version control
4 years
mcastmeeting-ng.git
Proof of concept RTP-Multicast chat client (rewrite)
git version control
4 years
mcastmeeting.git
Proof of concept RTP-Multicast chat client
git version control
4 years
muen.git
An x86/64 Separation Kernel for High Assurance
git version control
9 months
muen/arm64/kernel.git
An arm64 Separation Kernel for High Assurance
git version control
8 months
muen/arm64/systems.git
Muen SK arm64 System Resources
git version control
muen/build-cfg.git
A Separation Kernel for High Assurance - Build Config
git version control
muen/common.git
A Separation Kernel for High Assurance - Common
git version control
muen/component/base.git
Muen SK Component Base Library
git version control
muen/component/libs.git
Muen SK Component Libraries
git version control
muen/components.git
Muen SK Components
git version control
muen/contrib.git
A Separation Kernel for High Assurance - Contrib
git version control
muen/linux/muenblock.git
Muen SK channel blockdev Linux kernel module
git version control
3 years
muen/linux/muenevents.git
Muen SK events file system Linux kernel module
git version control
4 years
muen/linux/muenfs.git
Muen SK channel file system Linux kernel module
git version control
4 years
muen/linux/muennet.git
Muen SK virtual networking Linux kernel module
git version control
14 months
muen/mugenhwcfg.git
Muen hardware config generator
git version control
3 years
muen/mugenschedcfg.git
Muen scheduling plan generator
git version control
4 years
muen/mulog-analyzer.git
A log analyzer for the ARM64 kernel debug output
git version control
muen/rts.git
A Separation Kernel for High Assurance - RTS
git version control
muen/rust-examples.git
Muen Rust Examples
git version control
muen/rust-libs.git
Muen Rust Libraries
git version control
muen/tau0.git
Muen SK System Resource Manager
git version control
2 years
muen/tools.git
A Separation Kernel for High Assurance - Tools
git version control
6 weeks
muen/x86/systems.git
Muen SK x86_64 System Resources
git version control
nci-config.git
NCI plans for arm64/x86_64 Muen
git version control
nci.git
Flexible CI framework in Python
git version control
netlink-ada.git
Ada binding for libnl
git version control
4 years
orbkeys.git
CORBA ORB interoperability example (polyorb/orbit2)
git version control
4 years
overlayer.git
Automated Knoppix Remastering Worksuite
git version control
4 years
paillier-zkp.git
Paillier Zero-knowledge proof
git version control
4 years
pcscada.git
Ada PC/SC binding
git version control
4 years
pixgrabber.git
Web Picture Crawler for Windows
git version control
4 years
rootfs-content.git
Additional content for the Bob-built rootfs
git version control
2 years
sbs-tools.git
Signed Block Stream tools
git version control
3 years
sdmref.git
Intel SDM Reference Checker
git version control
18 months
slaacmon.git
SLAAC monitor in Ada
git version control
3 weeks
spark-bignum.git
SPARK Big Number Library
git version control
4 years
spark-crypto.git
SPARK Cryptographic Library
git version control
3 years
sparkunit.git
Unit test framework for SPARK
git version control
4 years
spawn-manager.git
Ada Spawn Manager
git version control
3 years
tkm-rpc.git
Trusted Key Manager RPC Library
git version control
13 months
tkm.git
Trusted Key Manager
git version control
13 months
x509-ada.git
Ada PKIX X.509 Library
git version control
3 years
xfrm-ada.git
Ada XFRM binding
git version control
13 months
xfrm-proxy.git
Trusted Key Manager XFRM proxy
git version control
4 years
