Free and Open Source, Distributed, RESTful Search Engine

A browser automation framework and ecosystem.

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

Logstash - transport and process your logs, events, or other data

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

Electronic Circuit Simulator in the Browser

Classic point and click adventure game engine and editor

The Wyvern programming language.

Repository for the NeoClassical Habitat Server Project

a high-level language, based on OpenFst, for finite-state programming