N4darae / shrt
A contract-driven gRPC regression harness for AI coding agents, with human-approved baselines. Snapshot the valid call chains of an API so an agent can look one up instead of tracing for it. gRPC today, OpenAPI next
N4darae / shrt
fabio-rovai / open-ontologies
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
shadps4-emu / shadPS4
PlayStation 4 emulator for Windows, Linux, macOS and FreeBSD written in C++
bin456789 / reinstall
一键DD/重装脚本 (One-click reinstall OS on VPS)
leanprover / lean4
Lean 4 programming language and theorem prover
1105216375-alt / resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
shane-mason / FieldStation42
Broadcast & Cable TV simulator
langchain4j / langchain4j
LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing tool calling (including MCP support), agents and RAG easy. It integrates seamlessly with enterprise Java frameworks like Quarkus and Spring Boot.
can4hou6joeng4 / boss-agent-cli
🤖 Local-assist BOSS Zhipin CLI for AI agents — search, welfare filtering, shortlist, JSON-envelope output; low-risk & compliant by default.
mikuta0407 / win4wine
Windows XP の Explorer を Wine 上で Linux のデスクトップシェルとして動かす / Run Windows XP's shell as the Linux desktop on Wine
leanprover-community / mathlib4
The math library of Lean 4
jerenelson47 / warz-ext-menu
Dominator est le cheat externe ultime pour Call of Duty: Warzone 4.0 (Saison 5)
Runnin4ik / dpi-detector
DPI detection tool for internet censorship testing. Identifies TLS, TCP, HTTP, DNS blocking and 16-20KB connection drops
win4r / MuseAI-Skills
muse.ai (Muse AI) skills and runtime snapshot: 68 skills, workflow guides, connector manifests. muse.ai 技能与运行环境文件；非官方存档 / Unofficial archive.
n4ze3m / page-assist
Use your locally running AI models to assist you in your web browsing
Loon0x00 / Loon4Mac
Loon for Mac
systemdesign42 / system-design-academy
If you want to become good at AI engineering & system design, join this newsletter 👇
morluto / jacobian
Composable mathematics tools for agents
jeecgboot / JeecgBoot
【低代码v2.0，一句话即可生成整个系统】企业级AI低代码平台，一键生成前后端代码甚至整个系统。 AI Skills 一句话画流程、设计表单、生成报表、大屏。内置 AI应用平台涵盖：AI聊天、知识库、流程编排、MCP插件等，兼容主流大模型。引领AI低代码「Skills 生成 → 在线配置 → 代码生成 → 手工合并->AI修改」开发模式，解决 Java 项目 90% 重复工作，提高效率又不失灵活。
pgadmin-org / pgadmin4
pgAdmin is the most popular and feature rich Open Source administration and development platform for PostgreSQL, the most advanced Open Source database in the world.
Cyan4973 / xxHash
Extremely fast non-cryptographic hash algorithm
sahibzada-allahyar / Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
h5i-dev / h5i
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
LIN428924379 / baifanyu
一只吃白饭的鲸鱼娘，挂在你的 Android 桌面上。可拖拽 · 能扒在屏幕边缘只露一个脑袋 · 两套皮肤 14 个表情 · 自动溜达 · 小黄鸭音效 · 完全离线，不联网不上传不要账号
5mdld / anki-jlpt-decks
【egg rolls】JLPT N1～N5 一万词 Anki 牌组【简／繁】【语音＆例句】；Anki，日语，日文，日本語，牌组，卡组，牌組，卡組，能力考，日檢
munmunjaklin458-afk / cline-pass-switcher
Cline Pass 上游控制台 —— 枚举/校验/钉住订阅模型背后的上游渠道 · 账号池轮询 · OpenAI 兼容代理（零依赖 Node）
maximilian467 / Developer-Island
A Dynamic Island for Windows: Claude Code & Codex usage, now playing, focus timer, calendar and system health in one native capsule. Local-first.
S3N4T0R-0X0 / BEAR-C2
BEAR-C2 is an adversary simulation and emulation framework built around real-world TTPs inspired by Russian, Chinese, North Korean, and Iranian APT groups.
oikon48 / prompt-rail
A rail of your Claude Code session's prompts: hover to read, click to jump (function hooks / Mods)
nithin42 / Foundry-Toolbox-Radar-Lab
Pre-deployment governance, identity auditing, and data-leakage scanner for Microsoft Foundry Toolboxes and autonomous AI agents.
yitongx / Gen4P
Gen4P: Video Generators are 4D Perceivers
0xS4N4TG / papercut-explainer
Short vertical cut-paper explainer reels, made by your coding agent. Nine Agent Skills plus a Remotion library. Works with Claude Code, OpenCode, Codex, Gemini CLI, Cursor, Copilot and more.
ryan4yin / nix-config
❄️ My nix config for both desktops(NixOS+macOS) and homelab servers(NixOS).
langchain4j / langchain4j-examples
—
LangChat / langchat
LangChat 是Java&LangChain4j生态的开源 AI Agent 应用平台，支持多模型、Agent、知识库 RAG、Skills、MCP 与智能问数。
neil-morrison44 / pocket-sync
A GUI tool (Mac, Windows, Linux) for doing stuff with the Analogue Pocket
oOo0oOo / lean-lsp-mcp
Lean Theorem Prover MCP
moistman42069 / HaloCE-DecompRemix-VR-PC-Android
Unofficial OpenCE-based Halo CE port for standalone Meta Quest VR/Steam Frame/Pico Headsets alongside PCVR/Flat PC and Android
langgraph4j / langgraph4j
🚀 LangGraph for Java is a library for Graph Engineering, designed to build sophisticated AI agentic architectures within the Java ecosystem. It works seamlessly with both Langchain4j and Spring AI.
arsLan4k1390 / Cherrygram
—
google-deepmind / formal-conjectures
A collection of formalized statements of conjectures in Lean.
leanprover-community / lean4game
Server to host Lean games
IAmIronMan42 / MiniMax-H3-FineTuning
—
Atmosphere / atmosphere
Portable AI agent runtime for the JVM. One @Agent class runs on Spring AI, LangChain4j, Anthropic, or 9 more behind one SPI. Token streaming, tool calls, human approvals, and governance over WebSocket, SSE, gRPC, or WebTransport/HTTP3. Speaks MCP, A2A, and AG-UI.
sn4k3 / NetSonar
Network pings and other utilities
moyangzhan / langchain4j-aideepin
AI 应用平台（聊天、绘画、知识库、工作流、 MCP服务市场、语音输入输出、长期记忆） | AI application platform (Chat,Draw,RAG,Workflow,MCP marketplace, ASR,TTS, Long-term memory etc)
Kron4ek / Wine-Builds
Wine builds (Vanilla, Staging, TkG and Proton)
agents-flex / agents-flex
Agents-flex is A lightweight Java AI agent development framework (positioned as a counterpart to Spring AI). It supports features such as RAG, MCP, Skills, Text2SQL , LLM Wiki, Sub-agents, Web Search, TTS (synchronous and streaming), and STT.
FloatingPragma / observer-patch-holography
Observer Patch Holography is a mathematically explicit approach to reconstructing physics from observers. Its executable model connects local repair to quantum measurements, clocks, and smooth effective spacetime, bringing a unified account of physics within reach.
N4S4 / synology-api
A Python wrapper around Synology API
microsoft / LangChain4j-for-Beginners
A course for AI applications with LangChain4j from simple chat to AI agents.
lucasjinreal / Crane
A Pure Rust based LLM, VLM, VLA, TTS, OCR Inference Engine, powering by Candle & Rust. Alternate to your llama.cpp but much more simpler and cleaner..
888newstep / ai-agent-platform
企业级 AI Agent 平台 | Spring Boot 3 + LangChain4j | ReAct 推理 + 多路召回 RAG + 语义缓存 + 多智能体协作
schildep / verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
Apolog1ze-Dev / QwFNfer
A custom inference engine tuned for Qwen4 architecture. Currently runs Qwen3.8-Flash-Next at 15+ tok/s on 16GB of VRAM and 30 GB of RAM
y08lin4 / 163help-client
网易云音乐互助播放客户端（油猴/扩展/Docker）
automatous-io / shelly-gen4-esphome
ESPHome for Shelly Gen4 devices, installed through the stock web UI.
Aryan447 / mpvium
Sane defaults, pro-level control. An Android video player powered by mpv and libmpv.
ZiLin466 / Samsara
A free and open-source Minecraft hacked client (utility mod) for Fabric.
ryan4yin / nixos-and-flakes-book
:hammer_and_wrench: :heart: Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！