← back

A short list of things I build and learn from.
==========================================
0x0
==========================================
0x0 is a self-hosted, Lisp-like functional systems
language that compiles itself to native ELF
binaries with explicit type/effect contracts,
local packages, and a tiny auditable
compiler chain:

Lisp-like symbolic syntax.
Pure functional kernel.
Type contract annotations.
Capability/effect annotations: pure, io, file, network, process.
Local file/package imports.
Core libraries: Option, Result, maps, bytes, JSON helpers, errors, safe files.
Native output: C compatibility, direct ELF64/x86-64, object files.
Own ABI, linker, archive format, optimizer, and release gates.
Independent second compiler work for cross-checking.

[ 0x0 ]