Kofun

Popular repositories Loading

1. kofun kofun Public

   Kofun is an experimental programming language with a Kofun-written bootstrap and direct ELF64 backends for x86-64 and AArch64. Source files use .kofun.

   C 3

2. kofun-site kofun-site Public

   Official site, docs renderer, playground, and planning corpus for the Kofun language. Reads hjosugi/kofun as a submodule.

   JavaScript

3. tree-sitter-kofun tree-sitter-kofun Public

   Tree-sitter grammar and editor queries for the Kofun language.

   JavaScript

4. kofun-vscode kofun-vscode Public

   VS Code extension and stdio language server for the Kofun language. Split out of hjosugi/kofun.

   JavaScript

5. kofun-boot kofun-boot Public

   Batteries-included application framework for the Kofun language: typed contracts, capability injection, deterministic replay. Functional core, imperative shell — enforced by construction.

   Shell

6. kofun-pm kofun-pm Public

   Package manager for Kofun. Minimal version selection, a content-addressed store, digest-pinned locks, and no install scripts — ever. Reproducible by construction, proven by gates.

   Shell