Recover files from Synology Hyper Backup (.hbk) archives without Synology software — CLI + TUI, checksum-verified, plus a full format spec
Code review via the change impact measure
NovoWeave — a conceptual generative protein-design framework (non-functional pseudocode).
Solweaver: a Codex software team with GPT-5.6 Sol orchestrating Terra and Luna workers.
Native SDR++ source module for ESP-SDR on the ESP32-S3: real IQ over USB, no bridge needed
SMILE software factory: a distributable, verified agent software factory (graph, loop, watcher, planning)
Open hardware and capture software for the Ego-OSCAR stereo-inertial egocentric camera
A complete software environment for modeling and simulating materials, tailored for a MOF chemist
PaperBench High-Difficulty and Expanded Tasks: paper reproduction beyond machine learning. 93 tasks in 12 research areas, run in domain-native software and graded by clean replay. 12 public tasks.
Curated developer tools, AST analyzers, and automated verification workflows.
Can coding agents build the agent you actually want? A benchmark of 25 agent software engineering tasks across creation, editing and optimization.
Interactive command-line pre/post-processing copilot for the ABACUS DFT software (GPL-3.0)
Click does not replace Nx, Bazel, pytest, or Jest. It sits above existing verification tools and manages which verification evidence remains applicable across AI-agent iterations.
Build real software with Codex while learning programming through paired expert and beginner explanations. | 在真实项目中学习编程
A pure-Python system that automatically discovers, verifies, and applies relevant historical requirements for coding agents — no embeddings, no vector database, no LLM calls. Companion code for the Towards Data Science article on intent continuity.
A scheduled, agent-driven software factory. Keep a plain JSON backlog; Forgeo runs your coding agent (Claude Code, Codex, opencode) on each task and commits to main. Refactors when idle. No branches, no PRs.
A production-oriented multi-agent AI Agent system for software engineering. | 面向软件研发任务的多智能体 AI Agent 工程系统
LaTeX resumes for software, AI and ML engineers, plus a graduate-admissions CV. Overleaf starters and an offline PDF reviewer.
Your coding agent starts every session knowing nothing about your project. One line, and it writes its own memory from your real code, then grades itself.
Professional Microsoft 365 office suite for Windows. Word, Excel, PowerPoint, Outlook and other productivity tools in one package.
`rng_get()` links to MicroPython software `PRNG` instead of the hardware `TRNG`, shrinking seed entropy to `~2⁴⁰`
A portable Product → Feature → Ship workflow for human-AI software development.
An ongoing attempt to faithfully bring PlantStudio Botanical Illustration Software (1998) into a modern artistic pipeline.
Autonomous software development supervisor that plans, delegates, reviews, verifies, and lands engineering work across projects
Professional 2D and 3D CAD design software for Windows. Precise drafting, modeling and documentation tools for architects, engineers and designers.
Decky plugin for the JSAUX PIXEL faceplate on the Steam Machine, no vendor software needed
TOMC Memory: CPU context compression and task memory for Codex, Claude Code, Cursor, TRAE, WorkBuddy and other MCP clients.
Учебные материалы образовательной программы СППО (ПИиКТ) ИТМО 2025-2029
Quiet, risk-scaled engineering methods for Codex. Method as exponent, not machinery.
Best software for R6 offering wallhacks, aimbot, and enemy tracking tools. Optimize your gameplay while ensuring undetectability and competitive advantage on the battlefield
A meta-harness for coding agents to follow proper Software Development Lifecycle practices. Can also write code from specs. Based on literate programming ideas from Donald Knuth
Research software for reconstructing 3x3 puzzle-cube solves from 120 fps phone video, with a local workbench, dataset, and models.
Accessible Book Reader: open-source software and open-hardware reading device
SpyServer + rtl_tcp bridge for ESP-SDR on the ESP32-S3: real IQ over USB into SDR++, SDR#, GNU Radio and gqrx