soraros
Follow
Lists (4)
Starred repositories
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified so…
DeepSeek Harness 破甲：让所有模型都能破甲，不同模型可换不同提示词；默认提示词面向国模「小码酱」。Jailbreak for every model — swap prompts per model. 求 Star 收藏 ⭐ 如要二开，请查看署名要求部分
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and…
Turn your regular JavaScript code into a neural net.
A secure Python sandbox, written in Rust, for code written by AI.
Reverse engineer anything with agents, from app behavior down to native binaries.
An agent skill for creating detailed, interactive isometric illustrations of real-world machines and complex systems. Generates polished SVGs with optional WebGL shaders and 3D effects.
SolidCraft: an open-source parametric 3D CAD application built in pure Rust. Desktop, web, and automation through MCP.
An agent that solved all 672 putnambench problems
A general geometry library in LEAN 4.
A lightweight library for xPU kernel JIT compilation
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
SoL-Pi: Scaling Auto-Research Loops for Efficient Agent Harnesses
shell script protector (obfuscation, embedded interpreter, DRM) - invisible to kernel tracing
Codebase intelligence for TypeScript and JavaScript. Health, complexity hotspots, duplication, architecture boundaries, circular dependencies, design-system drift, and unused code, from one graph. …
面向 MTF、crossdresser 与性别多元成年人的中文 Agent Skill，基于生如夏花知识库并加入医学安全护栏。
ARTEMIS turns natural-language instructions into reliable Android automation. It automates end-to-end workflows, captures logs, and integrates seamlessly with AI coding assistants such as Antigravi…
Differentiable, GPU-accelerated stochastic kinetic models in JAX.
ADflow is a finite volume RANS solver tailored for gradient-based aerodynamic design optimization.
Free and open-source macOS menu bar toolkit.
⚡️A native, local-first alternative to Logitech Options+, written in Rust 🦀 — remap buttons, DPI, and SmartShift over HID++. No account, no telemetry.
