Skip to content
leanproverPublic

About

A server that analyzes and builds lake packages, caching the results.

Resources

Stars

1 star

Watchers

0 watching

Forks

Repository files navigation

Pump

A web server that runs impeller jobs on behalf of users. It exposes a declarative HTTP API for requesting impeller results for Lean packages, manages an in-memory job queue, and persists results as JSON to disk.

About

A server that analyzes and builds lake packages, caching the results.

Resources

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages