Our Projects
Groundbreaking work in AI, planning, and research
PlanExe
โญ 336"Turn your idea into a comprehensive plan in minutes"
Premier AI planning tool that transforms high-level descriptions into detailed, actionable plans.
- โ Executive summaries and analysis
- โ Gantt charts and timelines
- โ Governance structures and risk registers
- โ AI agent integration via MCP
ARC-Interactive
โญ 32"Enjoy puzzle-solving directly in your browser"
Browser-based UI for solving Abstraction and Reasoning Corpus puzzles with no backend required.
- โ Pure HTML/CSS/JS implementation
- โ Interactive puzzle interface
- โ Powers BrainGridGame
- โ 725+ commits of development
ARC-Interactive-History-Dataset
โญ 117Action-level records from ARC-AGI-1 and ARC-AGI-2 solvers
9,580 solving sessions across ARC-AGI-1 and ARC-AGI-2 have been captured. Every action is recorded so researchers can train future ARC-AGI solvers using authentic human behavior traces.
View on GitHub โarc-dataset-collection
โญ 87Comprehensive ARC-related datasets
Major collection serving as the foundation for ARC-AGI research across the entire community. Essential resource for researchers worldwide.
View on GitHub โarc-notes
โญ 90Deep analysis of the Abstraction and Reasoning Corpus
Comprehensive writings exploring ARC puzzle methodology, analysis techniques, and insights from the research community.
View on GitHub โLODA
Flagship"Language of the Digital Age"
Innovative assembly-level programming language for integer sequences. Simon is a founding architect and creator of the Rust implementation.
- โ Core language design and specification
- โ Rust-based implementation (loda-rust)
- โ Community-driven development
P(doom) Calculator
InteractiveCalculate your probability of doom
A playful yet thought-provoking exploration of AI safety and existential risk. Combines mathematics with serious reflection on the future.
View on GitHub โ