QuestDB is a high performance, open-source, time-series database

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

A static analyzer for Java, C, C++, and Objective-C

Program logic for developing and verifying distributed systems

SRI Yices SMT Solver

A backup program for disk arrays. It stores parity information of your data and it recovers from up to six disk failures

A Python library for the Philips Hue system

Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more