All repos — GH Trending Explorer

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

annnguyentt / anatomy-reveal-skill

—

lixiaoxiao9888-create / xuanhuan-combat-director

玄幻仙侠高燃打斗分镜提示词生成智能体 V2.6.0 Ultimate · Xuanhuan Combat Director — 电影工业级动作动力学 + 特效尺度几何 + 全量招式物理参数库与角色场景预设，适配 Seedance 2.5 / 可灵 / 即梦。Production-ready xianxia fight-prompt generation. 测试版，二次修改整合开源内容。

yakisoba0728 / korail-mobile-api

코레일+(구 코레일톡) 앱과 같은 요청을 보내는 비공식 Python 클라이언트

apimartbqtg / ai-api-sdk-python

AI API gateway / relay: 307 models behind one OpenAI-compatible key. image2.5 $0.0085/image, Seedance 2.0 Mini $0.01056/sec, LLM from $0.0228/M tokens. USD settlement, pay-as-you-go, $1 minimum top-up.

warpdotdev / warp-factory-examples

Example configurations for Warp Factories, defined as files

apimartbj4 / ai-api-migration-guide

AI API gateway / relay: 307 models behind one OpenAI-compatible key. image2.5 $0.0085/image, Seedance 2.0 Mini $0.01056/sec, LLM from $0.0228/M tokens. USD settlement, pay-as-you-go, $1 minimum top-up.

opennavo / OpenNavo

OpenNavo is a free, open-source Homebrew GUI for Mac: it installs and updates Homebrew apps on your Mac in one click, and its website is a directory of Mac apps with release notes, system requirements and uninstall steps.

lifusdev / lifusbounce

Rainbow six siege external (no wpm) + driver with DSE bypass

ns2250225 / FolderLock

windodws系统的文件夹加锁工具

HanZijie / agentos-android

AgentOS for Android — system-level Agent runtime, AOSP integration, ROM and device support. 一个Root，让你的手机变身为“豆包手机”！

CaiusCodes / GoldenEye-007-XBLA-PC-Recomp

Native Windows PC recompilation of the unreleased GoldenEye 007 Xbox 360/XBLA remaster using ReXGlue. Requires your own copy.

LovelyTeams / LovelyCarve

a forensic carver with a soft heart · 基于 Rust、Tauri 2 与 Vue 3 的桌面磁盘取证与数据恢复工具：只读解析镜像、文件系统与加密卷，提供原类型预览、全局搜索、时间线、文件雕刻与插件分析

kernelstub / Pwnbox

Privacy focused NixOS pentesting environment with a customizable desktop and security tools.

nikolaygorb / PerfectDarkZeroRecomp

Perfect Dark Zero [Xbox360] game static recompilation project based on RexGlue-SDK

apimartd8fgnd7l3 / openai-compatible-api-migration-guide

AI API gateway / relay: 307 models behind one OpenAI-compatible key. image2.5 $0.0085/image, Seedance 2.0 Mini $0.01056/sec, LLM from $0.0228/M tokens. USD settlement, pay-as-you-go, $1 minimum top-up.

ruslanpodzorovraw-collab / alice-gemini-serper-template

—

harshpreet931 / harshpreet-hand

I gave Claude Code 120 pages of my handwritten college notes. It gave me back my handwriting as a real font, in 66 minutes for $13.68.

Leonxlnx / shanshui

Ten Chinese ink-wash landscapes painted and animated entirely in code (WebGL2 + Canvas2D), cut into a one-minute film with a synthesized soundtrack.

movixstream / MovixOpenSource

—

yyhuni / lunafox

Open-source, self-hosted attack surface management platform with distributed agents for asset discovery, scan orchestration, and vulnerability management.

WWRJ3321 / IRISMusic

本地音乐播放器 · 真折射液态玻璃 UI · 本地推荐算法 · 不联网无账号 · GPL-3.0

YYOzcan / Tobiichi-Port

God of War PS2 → PC static recompilation port

SoyBeanMilkx / imgui-liquid-glass

iOS 26+ style liquid glass for Dear ImGui.

Bong712 / Rhine-Music-Windows

Windows port of Rhine-Music-Demo with synchronized lyrics

Lixiaoyiao / DSH-action

Community GitHub Action for DeepSeek Harness — AI Code Review · CI Diagnosis · Auto Fix · Issue → PR

adminbugw / starmap

StarMap 是一个面向红队与安全工程师的本地化网络资产测绘平台(资产管理|信息收集|暴露面管理|红蓝对抗收集)

aashish254 / Aniflow

🎬 Autonomous AI Studio for Manhwa & Webtoon Recaps — Vision Pipeline (YOLOv8 + Magi v2), Multi-Voice TTS & Video Synthesis

Yang-huai406 / Codex-Whale-Public

Codex 桌面小鲸鱼：API 余额与用量观察、角色音效、桌面跟随，保留上游与 macOS 贡献及开发历史。

equalang / equalang-skill

Agent Skill for Equalang: translate PDF, DOCX, PPTX, XLSX, EPUB, subtitles, pictures, audio and video with the layout kept; transcribe recordings. For Claude Code, Codex, Cursor and more.

cutarev / sh2-nx

Silent Hill 2 (PC) statically recompiled to run natively on the Nintendo Switch. Bring your own game files.

ricowp81 / Salsa64

Nintendo 64 emulator for PlayStation 3 (homebrew), built around the Cell: PPE recompiler, RSP and audio HLE on SPEs, RSX rendering

nistordarius26h-ship-it / ga_ai_robot

Globally accessible autonomous robot featuring AI object tracking, 4G remote control, edge computing, WebRTC streaming, and environmental sensing.

morluto / smokinggun

Help your agents find the smoking gun they're looking for. Optimization evidence for agents: find complexity hotspots.

Win-Hao / knowledge-video

Agent skill: turn one topic into a 1–3 minute knowledge explainer video — fact-checked article, scene-by-scene copy, freely licensed images, three looks to pick from, a beat-synced storyboard, the opening first. Rendered with HyperFrames.

Laide140 / CRTrainRoute

中国铁路列车算路器

jmvbambico / og

The OG terminal boilerplate tool for building omnigent agent systems fast.

observer0703 / -kurisu-enig-pcb

—

iampiny / reframe

Independent experimental Home screen and playback sidebar for Samsung The Frame TVs. MIT licensed.

packetinspector / jellybeam

Native Android TV client for Jellyfin. Kotlin/Compose over a Rust core, Direct Play first.

Avarce / codex-china-guide

Codex 国内使用与报错速查：安装、登录、手机号验证、终端代理、断线重连、额度用完、上下文满了，以及接入 DeepSeek 等第三方 API。按报错原文查原因和处理步骤，每条附官方出处；含中英界面对照和 AGENTS.md 中文模板。

OverkillLabs3 / vice-city-stories-recomp

Vice City Stories Native on Windows and MacOS

bingjunluo / Video-RSI

[Arxiv] Video-RSI: Recursive Self-Improvement of Video Understanding Agents via Harness Evolution

n0madic / Soulcalibur2HD-recomp

Soulcalibur II HD native recompilation

MAHDI-byte64 / Arange-tun

—

DaRin1403 / xuexitong-autostudy

学习通(超星)网课刷课助手:油猴(Tampermonkey)脚本,自动完成学习通任务点——视频原速静音连播、自动切章、章节测验与视频弹题自动答题(字体加密自动解密 + DeepSeek AI 作答)、文档/图片任务处理,内置拟人化防检测配置(倍速限制、随机延迟、故意答错率、每日时长上限)。

jossuealcacao-exe / madre

MADRE · Codex, Claude Code, Gemini CLI and OpenCode in one local chat on your machine, with one memory every agent shares. Home for all your projects and a Coordinator above them. Read-only by default; you unlock more per message. In Spanish and English. Public beta.

CloudZao / Metalio-E-INK4-Plus

Metalio E-Ink4-Plus 是一款面向阅读与 AI 助手场景的开源墨水屏实体设备。整机搭载 4.7 寸 1216×684 并行电子纸（ED047TC2 / EPDiy + TPS65185）、FT6336U 电容触控、盖板虚拟键、冷暖双色前光、I2S 麦克风与扬声器（经外置蓝牙音频芯片）、microSD、片上 Wi‑Fi、SC7A20H 三轴加速度计、PCF8563 RTC、BQ27220 电量计、震动马达，以及 USB 摄像头 / 烧录通路切换能力。设备可通过语音与云端 AI 交互，并支持本地书库阅读、云端资源推送、待机壁纸、SD/U 盘存储与低功耗管理。