Shadowgraph
TrendingAbout
Sign in

curtsinger-lab/riker

Always-Correct and Fast Incremental Builds from Simple Specifications

94

1 commits

updated Sep 3, 2026

See the code

README

Riker: Don't make, Make It So

This project has migrated to Codeberg. Visit https://codeberg.org/curtsinger/riker for the latest version of Riker.

Contributors

ccurtsinger

1 commits

Similar repos

garnix-io/garn

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the…

344

janestreet/jenga

Build system

90

elm-lang/elm-make

A build tool for Elm projects

175

go-task/task

A fast, cross-platform build tool inspired by Make, designed for modern workflows.

16,176

256lights/zb

An experiment in hermetic, reproducible build systems

406

praydog/REFramework-nightly

Mirror for CI dev builds

1,481

devrandom/gitian-builder

Build packages in a secure deterministic fashion inside a VM

416

rust-lang/goals

Rust Project Goals tracker

173

curtsinger-lab/riker

Always-Correct and Fast Incremental Builds from Simple Specifications

94

1 commits

updated Sep 3, 2026

See the code

README

Riker: Don't make, Make It So

This project has migrated to Codeberg. Visit https://codeberg.org/curtsinger/riker for the latest version of Riker.

Similar repos

garnix-io/garn

garn is a build tool and environment manager that replaces justfiles/makefiles, docker, and the…

344

janestreet/jenga

Build system

90

elm-lang/elm-make

A build tool for Elm projects

175

go-task/task

A fast, cross-platform build tool inspired by Make, designed for modern workflows.

16,176

256lights/zb

An experiment in hermetic, reproducible build systems

406

praydog/REFramework-nightly

Mirror for CI dev builds

1,481

devrandom/gitian-builder

Build packages in a secure deterministic fashion inside a VM

416

rust-lang/goals

Rust Project Goals tracker

173

Contributors

ccurtsinger

1 commits