Official MAAS repository. Bugs are tracked on Launchpad: https://bugs.launchpad.net/maas

Terraform MAAS provider

A gently curated list of companies using verification formal methods in industry

Collection of GitHub Actions implementations

Tools and technologies that are hosted on an OpenShift cluster

CEPH-CI is a framework for testing Red Hat Ceph Storage product builds

New Errata Workflow Automation.

Verification tests for Openshift Virtualization

GitLab fleeting plugin for OpenStack

Advanced Trade Script for X4

Complete redesign of DA economy diffs for a dynamic universe in X4: Foundations.

Complete redesign of DA scripts for a dynamic universe in X4: Foundations.

Extends the python simconnect library for MSFS2020 with the capability to read A and L variables with help of the MobiFlight WASM module.

Mobile Companion App for MSFS 2020

The WASM module is the interface between MobiFlight and MSFS2020

A tool to help with SimRate in Microsoft Flightsimulator 2020

Python interface for MSFS2020 SimConnect.dll

Cryptographic Protocol Shapes Analyzer

Little Navmap is a free flight planner, navigation tool, moving map, airport search and airport information system for Flight Simulator X, Microsoft Flight Simulator 2020, Prepar3D and X-Plane.

Constructive Dialog Rules

Tools (written in C using htslib) for manipulating next-generation sequencing data

C library for high-throughput sequencing data formats

Useful set of classes for creating statistical genetic programs.

PLINK is a free, open-source whole genome association analysis toolset, designed to perform a range of basic, large-scale analyses in a computationally efficient manner. This is a comprehensive upd…

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

Rust bindings for libssh2