Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

313–336 of 756 · Most stars

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Fast manager for Go-installed binaries in $GOBIN: update, export/import, and migrate toolsets across machines

MCP (Model Context Protocol) server for game hacking & reverse engineering. A structured knowledge base of 4,100+ skills with full source code archives, specialized agents, and workflow tools -- designed to be plugged into Claude, Cursor, or any MCP-compatible client.

A decompiled PC Port of Super Mario Galaxy, intended to work on Windows, Linux, MacOS, Android, and iOS/iPadOS.

Turn DeepSeek Harness into a self-hosted enterprise Agent platform with knowledge, deep research, content generation, vibe coding, browser automation, governance, and admin controls.

Say It Simply, Test It Properly. Agent-powered strategy research with independent ledger checks and reproducible reports.

TranslatedDoca | Open source. Self-hosted document management, knowledge base & real-time collaborative editing for individuals and small teams. Supports online documents, Markdown, tables, slides, canvas and an AI assistant.

Desbordante is a high-performance data profiler that is capable of discovering many different patterns in data using various algorithms. It also allows to run data cleaning scenarios using these algorithms. Desbordante has a console version and an easy-to-use web application.

TranslatedVibe Knowledge Showcase (Vibe 知识大赏): one knowledge point → one premium short knowledge video with narration and a cited source for every sentence (Claude Code skill · 44 styles · frame-by-frame video rendered with code)