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
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 โ†’