CHIBA
[01] ┌─┐
NATIVE
No LLVM. No libc. Proprietary self-hosting x86_64 backend.
▍ Every instruction emitted with binary precision.
┌─ syst.arch / level-0 bootstrapped ───────────────────────────────────────────────────────────────────────────────────────────────────── ┐
Metal-level FP
Zero Runtime.
CHIBA /tʃiːbɑː/ ← 尺八 · shakuhachi a five-holed bamboo flute. one breath. one tone. no waste.
└─ ───────────────────────────────────────────────────────────────────────────────────────────────────── ─┘
[02] ├─┤
FUNCTIONAL
ADTs, row polymorphism, first-class continuations.
▍ Composition without compromise.
[03] └─┘
VERIFIED
Answer Type Polymorphism tracks continuation boundaries.
▍ Safety without GC, without refcount.
store64.chiba
// Store a 64-bit word at ptr[idx] (idx in 8-byte units). Returns 0.
def store64(ptr: i64, idx: i64, val: i64): *u8 =
asm (ptr: rdi, idx: rsi, val: rdx) : (rax) => {
"mov [rdi + rsi*8], rdx"
"xor eax, eax"
} Emitted ASM
<prefix>_store64:
<abi calling convention>
mov [rdi + rsi*8], rdx
xor eax, eax
<abi return sequence>
jmp <the continuation address>
Zero Runtime symbols
Static mapping
Tail-Call Opt.
01ATP proves stack depth bounds at compile-time.
Uniqueness
02Tracks resources through function boundaries.
No LLVM
03Built for deterministic cycle-by-cycle control.
Continuations
04Parser resumes from valid sync points locally.
[ LOG / INSIGHTS ]
Latest Insights
Compiler notes, proof sketches, backend experiments, and deterministic systems logs.
View All Posts
CHIBA-LANG Level-0 DONE! Starting ChibaLex & ChibAcc
After two weeks of hard work, Chiba-level0 has gone from an initial Rust demo to…
Read Article
Chiba’s Memory Management, Safety, and Concurrency Design
One of Chiba’s core objectives is to provide near-zero-overhead automatic memory…
Read Article
The Distinction of Programming Languages: Chibas Brutalist Aesthetic
When I reopened Pierre Bourdieus *Distinction*, what I saw was no longer the ref…
Read Article
Chiba — Reclaiming the Missing Functional Dimension in Systems Programming
Many people have known me for a long time. After wandering through various proje…
Read Article
Governance / 501(c)(3) (not yet)
Foundation
CHIBA Software Foundation
The CHIBASF(prepare to register) is a non-profit founded (not yet) to support development of the language. It offers paid work at competitive rates to a small number of core contributors.
Competitive core contributor rates
Sustained by individual donations
Labs / Commercial Wing
Chiba Labs
Chiba Labs(not yet) provides commercial support and proprietary extensions to fund the core protocol's longevity. We specialize in industry-grade optimization and neural computation.
Compiler O3
Advanced profile-guided optimizations for enterprise-scale deployments.
Neural Lib
Deterministic AI libraries with formal tensor verification for safety-critical inference.
Financial Backbone
Corporate Sponsors
The following companies provide direct financial support to the CHIBA Software Foundation, enabling us to pay core contributors and maintain a neutral toolchain.
Empower the Future
Sponsorship ensures CHIBA remains a permanent fixture of the systems programming landscape.
Community
Decentralized ecosystem
The CHIBA community is decentralized. Anyone is free to start and maintain their own space. There is no concept of "official" or "unofficial"; each gathering place has its own moderators and rules.
See all CommunitiesMain development
The CHIBA repository is at https://github.com/chiba-lang — issue tracker and proposals hosted there.
Browse Source Code & Proposals
Contributors are expected to follow CHIBA Code of Conduct.
[ VISION / DOT-SCREEN ]
MASK_DOTS_08
Think FP Run in ASM