Search results

Paper: design sketch / position paper for arxiv (defer active drafting)

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#67 In cleave-lang/cleave;

· proofmancer opened on May 25, 2026

RFC: third-party protocol extension story (publish, discover, audit, version)

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#65 In cleave-lang/cleave;

· proofmancer opened on May 25, 2026

C tooling: clang-format + clang-tidy in CI

compilerCompiler / parser / codegen workCompiler / parser / codegen work

toolingEditor support, syntax highlighting, dev toolsEditor support, syntax highlighting, dev tools

Status: Open.

#58 In cleave-lang/cleave;

· proofmancer opened on May 25, 2026

Release artifacts: automated cleavec + cleave-run binaries on tag push

toolingEditor support, syntax highlighting, dev toolsEditor support, syntax highlighting, dev tools

Status: Open.

#57 In cleave-lang/cleave;

· proofmancer opened on May 25, 2026

RFC: extern host ABI for native function declarations

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#55 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

·  

v0.4: Self-hosting

stdlib: StateProtocol implementation (SparseMerkle or similar as default)

stdlibStandard library protocols and modulesStandard library protocols and modules

Status: Open.

#54 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

stdlib: ConsensusProtocol implementation (Tendermint or HotStuff as default)

stdlibStandard library protocols and modulesStandard library protocols and modules

Status: Open.

#53 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

Runtime: cross-engine state sharing implementation (one state root across WASM + EVM)

blockedBlocked on a prerequisite issueBlocked on a prerequisite issue

runtimeRuntime (Wasmtime / REVM) workRuntime (Wasmtime / REVM) work

Status: Open.

#50 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

Sum types end-to-end: Result, Option, user-declared enums

compilerCompiler / parser / codegen workCompiler / parser / codegen work

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#48 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

·  

v0.4: Self-hosting

Grammar gaps: closures, unit type, struct-literal shorthand, nested subsystem blocks

compilerCompiler / parser / codegen workCompiler / parser / codegen work

Status: Open.

#47 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

RFC: cross-engine state sharing (one state root across WASM and EVM)

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#46 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026

RFC: project metadata format + build system for Cleave projects

designRFC-style design discussionsRFC-style design discussions

Status: Open.

#45 In cleave-lang/cleave;

· proofmancer opened on May 24, 2026