Ghidra is a software reverse engineering (SRE) framework

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

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

signal-cli provides an unofficial commandline, JSON-RPC and dbus interface for the Signal messenger.

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

An unofficial rules engine for the world's greatest card game.

XMage - Magic Another Game Engine

IA's public Wayback Machine (moved from SourceForge)

Bazel remote caching and execution service

Contribution analysis tool for Git repositories

Base Utility set for Android applications