percolator-engine

v1.0.0 Experimental

Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)

Apache-2.0 Edition 2021

Algorithms No standard library #defi#perpetuals#percolator#risk-engine#formally-verified

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Tiny footprint (240KB, 1 deps)
✓Permissive license (Apache-2.0)

Security

Checking security advisories...

Downloads

392

Dependents

Releases

Size

240KB

Deep Insights

📊

Steady growth

79 downloads in the last 30 days (3/day), up 16% from the previous period.

🪶

Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

Health Breakdown

Maintenance 18/25

Recency, release consistency, active ratio

Quality 18/25

Yanked ratio, deps, size, maturity, features

Community 8/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Top Dependents

Most downloaded crates that depend on percolator-engine

percli-core

557 dl 60

Version Adoption

v1.0.0

64%

v0.7.0

10%

v0.4.0

v0.8.0

v0.9.0

Release Timeline

7 releasessince 2026

2026

Less

Feature Flags

fuzztest

README

Loading README...

Maintainers

Mizuki Hayashi

8 crates

Dependencies

direct dependencies