codelabs.ch git repositories
Git repositories hosted at codelabs.ch
index
Name
Description
Owner
Idle
adhcp.git
DHCP implementation in Ada
git version control
22 months
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
11 months
alog.git
Logging framework for the Ada programming language
git version control
4 years
anet.git
Ada Networking Library
git version control
4 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
16 months
debian/adabrowse.git
Debian adabrowse package
git version control
4 years
debian/ahven.git
Debian ahven package
git version control
16 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
6 months
muen/arm64/kernel.git
An arm64 Separation Kernel for High Assurance
git version control
6 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
3 years
muen/linux/muennet.git
Muen SK virtual networking Linux kernel module
git version control
12 months
muen/mugenhwcfg.git
Muen hardware config generator
git version control
2 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
23 months
[1]
[2]
