Our Projects

Groundbreaking work in AI, planning, and research

PlanExe

⭐ 336

"Turn your idea into a comprehensive plan in minutes"

Open source AI planning pipeline — transforms a prompt into a 63-task structured plan with dependency graphs, risk analysis, and Gantt charts.

  • Executive summaries and analysis
  • Gantt charts and timelines
  • Governance structures and risk registers
  • AI agent integration via MCP
View on GitHub →

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
View on GitHub →

ARC-Interactive-History-Dataset

⭐ 117

Action-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

⭐ 87

Comprehensive 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

⭐ 90

Deep 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
View on GitHub →

P(doom) Calculator

Interactive

Calculate 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 →