The Abstraction and Reasoning Corpus
-
Updated
Apr 4, 2025 - JavaScript
The Abstraction and Reasoning Corpus
The Abstraction and Reasoning Corpus made into a web game
Program Synthesizer from JSON data sources that produces Transpilable Typed JSON.
Two mechanically-scored evals for LLMs: infer a hidden rule from examples, and write a solver for a novel formal system where every step must be provably legal.
Autonomous AST Program Repair, Time-Travel Debugger & Self-Healing Execution Sandbox. Built with Hexagonal Ports & Adapters, Tree-Sitter C grammars, a Two-Tier Multi-Agent Debate Loop, and isolated subprocess test verification.
Browser Genetic Programming System (Vue + Vue Router + Canvas + SVG + Web Workers + IndexedDB)
예시로 최소 정규식을 합성하고 NFA→DFA 최소화가 살아 움직이는 걸 본다. 의존성 0·API키 0. Regex synthesis + automata visualizer.
Infer, verify, and apply data transformation rules from before-and-after examples. Deterministic. Zero dependencies. Runs in the browser.
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."