A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Repository Index
47,133 repositories indexed
1,801–1,824 of 2,408 · Most stars
A Hub/research area, for jailbreaking LLM's, and breaking their safety filters.
Build innovative Skills with McDonald’s MCP, solve real-world problems, and compete for exclusive 1024 Programmers’ Day prizes.
TranslatedAn open-source, free, and simple practice platform for -[algorithms]- -[databases]- -[objective questions]-
Real-time film emulation for Unreal Engine: 21 looks, grain, halation, lens effects, Blueprint controls and reusable presets.
- film-emulation
- hlsl
- post-processing
- unreal-engine
Interactive prototyping tools for your team.
Resident Evil Code: Veronica X HD - PS3 static recompilation port (hobby, no game data)
Darkwatch: Darker Edition — PC port powered by XboxXBERecomp. Bring your own Xbox ISO.
The repository host gives no description.
TranslatedTurn lecture slides into source-cited study PDFs and printable cheatsheets. Page-by-page explanations, compact formula sheets, and detailed review booklets, with the page count and the Chinese-English language ratio chosen by you.
Medical LLM agent and MRI segmentation workspace built on PharmaLLM, with LangGraph, vLLM, and BEU-Net.
Infrared gesture-based BLE media controller for AtomS3R and PAJ7620U2; C++ firmware, trajectory replay, and documented v24 baseline.
- arduino
- ble-hid
- embedded-systems
- esp32-s3
Free, open-source Mac utility: start dragging any file, tap a key, and drop it on a wheel to convert, edit, AirDrop or shelve it. Runs fully offline.
- drag-and-drop
- file-converter
- macos
- menu-bar-app
McReplay（麦回放）— Structural snapshots, change reports, and local MCP replay for McDonald's China integrations.
DynaFlow: Learning Free-Form Multi-Agent Orchestration
Translated破甲 (De-Armor, "break armor"): Task-oriented response calibration that preserves facts and conditions, reduces ineffective defensiveness, and fills in what actually needs to be delivered.
Android TV 13 for PlayStation 4
TranslatedExamples of bot persona prompts
Obsolete iOS jailbreak research using the now-patched TSS/Cryptex bug. Source shared for educational purposes. Not a new jailbreak release.
Self-hosted artifact repository manager written in Rust. Hosts, proxies and groups 30+ formats: Docker/OCI, Maven, npm, PyPI, Cargo, Go, Helm, NuGet, Hugging Face, Terraform and more. PostgreSQL for metadata, blob stores on disk or S3. An open-source alternative to Nexus and Artifactory.
- air-gapped
- artifact-registry
- artifactory-alternative
- cargo-registry
TranslatedDouli (豆梨, "bean pear") is a physical electronic pet based on the ESP32-S3. Just call out "你好豆梨" ("Hello Douli") to talk to it; the companion backend handles conversation and long-term memory.
Open-source desktop AI agent that takes real actions on websites — 33 adapters for mail, shopping, social, and more.
- adapter
- browser-automation
- browsercli
- chrome-extension
Văn phòng 3D cho các phiên Claude Code · A 3D office for your Claude Code sessions
CRAB (Clean Rebuild of Anything's Behavior): rebuild software from behavior, not source code. An MCP-powered toolkit for black-box observation, clean-room reimplementation, and behavioral verification.
- clean-room-reimplementation
- ai-agents
- behavioral-testing
- black-box-testing