a fast, scalable, multi-language and extensible build system

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Lightweight Communications and Marshalling

BFT-SMaRt's project home page

Kayak is a CAN bus analysis tool based on SocketCAN

A framework for mission control

Lithium ion Battery Management System for Electric Vehicle

A software framework for small satellites based on CCSDS MO services

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Kompics - A message-passing component model for building distributed systems

Agreement in Asynchronous Distributed Systems

Confidential Byzantine Fault-Tolerant SMR library

Practical Arbitrary State Corruptions