# maked

A zero-dependency POSIX make implementation with GNU extensions in Rust, an executable Lean 4 model, and differential fuzzing against GNU make.

[Open in the WASM portfolio](https://yemelianov.dev/?project=maked&detail=1)

Tags: rust, lean, build-systems, formal-methods
Source: public
Repository: https://github.com/dmytro-yemelianov/maked

maked implements POSIX make and GNU extensions in Rust, including parallel dependency execution, content hashing, caching, and Ninja import and export.

An executable Lean 4 model describes selected freshness and scheduling semantics. Differential fuzzers compare maked, GNU make, and the model on generated build graphs. The model's proofs apply to the model; agreement with the Rust binary is test evidence.