dancinlab/hexa-lang

💎 Native compiler with atlas-bound theorems — 8 strict-lint stages · citation-enforced · no LLVM · self-hosting native fixpoint

Latest release v0.759.0 · 12 Jul 2026

5 files for Claude Code, Codex and OpenCode: ml-help, ml, hexa-lang, hexa-lang AGENTS.md and 1 more — 3,376 tokens loaded in every session.

Open on GitHub

Instructions

hexa-lang AGENTS.md AGENTS.md A 309 tok
hexa-lang CLAUDE.md CLAUDE.md A 3,067 tok

Settings

hexa-lang .claude/settings.json B —

Commands

ml-help .claude/commands/ml-help.md A —
ml .claude/commands/ml.md A —

These files are dancinlab/hexa-lang's own configuration — they tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.