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 552 · Most stars

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Native PC port of Super Smash Bros. Brawl (static recompilation): 4K, widescreen, gamepads, and Wii SD mods (Project+, Project+Ex, REX, Brawl Minus, Legacy XP). Bring your own disc.

Flexible and composable tile graphics converter supporting Super Nintendo, Game Boy, Game Boy Color, Game Boy Advance, Mega Drive, Master System, Game Gear, PC Engine and WonderSwan formats.

TranslatedDesktop automation for DeepSeek Harness: giving an entire Windows machine eyes and hands. It can do anything a person can do, including but not limited to CAD, WPS, browser operations, and sending WeChat messages. Safe, fast, reliable, smart, and user-friendly.