codelabs.ch

ADHCP is an implementation of the DHCP protocol in Ada. Currently the project provides client and relay services for DHCPv4. The client uses Alog as logging framework and communicates with NetworkManager using D_Bus/Ada.

Alog is a stackable logging framework for Ada. It aims to be straight forward to use and is easily extendable. It provides support for various logger types, log facilities, loglevel policies and message transformations.

Anet is a networking library for the Ada programming language. The library provides a BSD socket implementation and support for IPv4/UDP packet creation and validation. It can be used to implement custom protocols on top of IPv4. The library also provides a binding to the Linux Packet Filter (LPF) system.

CUDA/Ada is an Ada binding to NVIDIA’s CUDA parallel computing platform and programming model.

The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system.

gitter is a git repository feed reader for Android.

PCSC/Ada provides an Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.

The Ada spawn manager implements the concept outlined in the GNAT GPL package System.OS_Lib. It is used to solve the problem of spawning processes at arbitrary times from multitasking Ada programs.

Browse the codelabs.ch git repositories here.

The codelabs.ch CA certificate can be downloaded here.