An agent skill for Codex, Claude Code and other clients: open-ended research as the exploration of a labyrinth, with a map of what is proved, refuted, conjectured and still dark, proof tiers, independent referees and campaigns of agents.
☆44Oct 9, 2026Updated last week
Alternatives and similar repositories for labyrinth-exploration
Users that are interested in labyrinth-exploration are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆17Jun 29, 2020Updated 6 years ago
- ☆13Mar 31, 2025Updated last year
- A project to quickly setup a python project using anaconda packages and Docker☆12Nov 13, 2022Updated 3 years ago
- Official codebase for our NeurIPS paper, Symmetry-Informed Governing Equation Discovery.☆11Nov 13, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Resources and centralization of running the org.☆38Oct 8, 2026Updated last week
- a Left4Dead Roguelike☆12Nov 11, 2018Updated 7 years ago
- Small games, experiments, and notes on (Haskell) game development.☆11Feb 27, 2023Updated 3 years ago
- ☆72Updated this week
- ☆10May 26, 2026Updated 4 months ago
- Collaborative AI Model☆11Nov 27, 2024Updated last year
- A TOML parser written in Haskell☆14Sep 2, 2014Updated 12 years ago
- Math for spirals☆12Nov 2, 2015Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Agree on a program. Run it together. Verify what happened. Wasm + p2p + state machines + verifiability☆15Oct 5, 2026Updated 2 weeks ago
- 🏎️ Animation for sprites☆11Oct 29, 2019Updated 6 years ago
- 2D polyline offsetting and boolean operations with arc segment (bulge) support☆26Aug 8, 2026Updated 2 months ago
- This project has moved:☆14Apr 30, 2015Updated 11 years ago
- A ground-up, native-Rust reimplementation of the entire Lean 4 toolchain — drop-in at the binary surfaces (.olean, C ABI, LSP, CLI), dete…☆22Updated this week
- 4 AI agents. One runbook. Real $25K, live and verifiable. Currently +22.85%.☆67Oct 12, 2026Updated last week
- A text adventure written with Redux, Angular 2 and TypeScript.☆11Jan 11, 2017Updated 9 years ago
- Portable Lean 4 autoformalization skills for Codex and Claude Code☆50Oct 7, 2026Updated last week
- Many proofs of the Pythagoras theorem - Lean 4☆11Dec 1, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆50Aug 24, 2026Updated last month
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 9 years ago
- ☆14Apr 8, 2013Updated 13 years ago
- The Roguelike Game Atlas Warriors☆14Jan 12, 2015Updated 11 years ago
- Build AI-powered desktop workflows with React. Local-first, extensible, open core.☆21Mar 4, 2026Updated 7 months ago
- Rolling repository of myoelectric and neuroscience tools for the discerning physiologist☆10Aug 17, 2016Updated 10 years ago
- ☆11May 24, 2024Updated 2 years ago
- Notebooks, code and documents for the ISPRS Congress tutorial on Earth embeddings☆96Jul 7, 2026Updated 3 months ago
- Papers and documents pertaining to the Nuand bladeRF Software Defined Radio☆13Jun 30, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Haskell game where multiple players attempt to blend in with computer controlled characters while being first to visit the key locations …☆15Jan 10, 2020Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month
- ☆11Jun 10, 2026Updated 4 months ago
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 4 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago