greg/musubu

T

Greg Shuflin cc5bad1713 Add bzip2 example; update lean-libclang dep to isFromMainFile fix

examples/bzip2/ is a self-contained Lake project that uses musubu as a
build-time binding generator for libbz2 — analogous to the rust-bindgen
bzip2 tutorial.

Also updates lake-manifest.json to lean-libclang rev 022136d7 which
fixes isFromMainFile for macro-argument function names (BZ_API pattern),
required so musubu can see functions declared via BZ_API() in bzlib.h.

2026-05-18 20:11:32 -07:00

Phase 5: gaps documentation and test app skeleton

2026-05-15 21:02:01 -07:00

Add bzip2 example; update lean-libclang dep to isFromMainFile fix

2026-05-18 20:11:32 -07:00

Phase 5: fix generated binding compile errors for SDL3 headers

2026-05-15 19:14:15 -07:00

Phase 5: gaps documentation and test app skeleton

2026-05-15 21:02:01 -07:00

.gitignore

Implement Phases 1–3: IR, parser, Lean + C codegen

2026-05-15 14:48:49 -07:00

CLAUDE.md

Implement Phases 1–3: IR, parser, Lean + C codegen

2026-05-15 14:48:49 -07:00

justfile

Add bzip2 example; update lean-libclang dep to isFromMainFile fix

2026-05-18 20:11:32 -07:00

lake-manifest.json

Add bzip2 example; update lean-libclang dep to isFromMainFile fix

2026-05-18 20:11:32 -07:00

lakefile.toml

Fix lean-libclang import

2026-05-18 03:45:25 -07:00

lean-toolchain

Initial commit

2026-05-14 02:14:30 -07:00

Main.lean

Implement Phases 1–3: IR, parser, Lean + C codegen

2026-05-15 14:48:49 -07:00

Musubu.lean

Implement Phases 1–3: IR, parser, Lean + C codegen

2026-05-15 14:48:49 -07:00

README.md

Initial commit

2026-05-14 02:14:30 -07:00

README.md

Musubu

Musubu is a lean library for generating bindings to C code.