Nix Packages collection & NixOS

The PragmAda Reusable Components

A Matrix-Telegram hybrid puppeting/relaybot bridge

A curated list of awesome resources related to the Ada and SPARK programming language

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

An Ada Library for UUID generation.

RetroShare is a Free and Open Source cross-platform, Friend-2-Friend and secure decentralised communication platform.

outdated, use https://github.com/RetroShare/RetroShare instead (this is a svn mirror from r5995 - r8613 + few git commits)

Software to automate the management and configuration of infrastructure and applications at scale.

The future of online communications.

FreeBSD ports tree (read-only mirror)

Various debugging and admin scripts for OpenAFS

OpenGL GUI toolkit library for Ada