Embedded JavaScript engine for C/C++

concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

🔬 A fast, interactive web-based viewer for performance profiles.

Optional static typing for Python

Website and Discord bot for the 🌊🎨🎡 Mystery Hunt team

Open source, privacy-first web analytics. Lightweight, cookie-free Google Analytics alternative. Self-hosted or cloud.

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

A website to help manage the logistics of large, short-term educational programs

A cross-platform, OpenGL terminal emulator.

Visual Studio Code