Ghidra is a software reverse engineering (SRE) framework

Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.

MCP Server for Ghidra

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

Automated testing to find logic and performance bugs in database systems

Open source library for content based image retrieval / visual information retrieval.

The AmazonDynamoDBLockClient is a general purpose distributed locking library built on top of DynamoDB. It supports both coarse-grained and fine-grained locking.