AxiomCodeAI / axiomcodegraph

Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.

CharlesWiltgen / Axiom

Battle-tested Claude Code skills for modern xOS (iOS, iPadOS, watchOS, tvOS) development

axiomgraph / ComfyUIWorkflow

My Workflows

BasisResearch / ship-your-interpreter

Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary — zero sorries, zero axioms

AlayaLab / MeshAxiom

MeshAxiom: An Agent-Native 3D Foundation Stack for Programmable Worlds

sunyuzheng / lizheng-open-context

Source-grounded public context for 立正: Superlinear posts, selected comments, YouTube, Public Axioms V1, and 《真本事》.

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

AxiomMath / PrimeGapsLib

Lean formalization of bounded gaps between primes

axiom-desu / ZCodium

Modified ZCode.

axiomhq / hyperloglog

HyperLogLog with lots of sugar (Sparse, LogLog-Beta bias correction and TailCut space reduction) brought to you by Axiom

D2I-ai / SpatialAxiom

SpatialAxiom: An Open Spatial Intelligence Model for General Spatial Reasoning

rafiqihmadhasan-sketch / Axiom-UI-Forge

AxiomUI Roblox Scripts Hub: Ultimate 2026 UI Library for Developers

AxiomMath / ZetaZeros

—

Axiomdeveloper / Axiom-TG-Sub

—

wieslawsoltes / AxiomPlant

—

axiomying / PSA

PON Sovereign Agent is an autonomous AI treasury that continuously evolves its intelligence and allocates protocol-generated revenue across crypto and tokenized real-world assets.

astrea-foundation / axiom-desktop

AxiomAI Desktop App + TUI + Proxy