A deterministic runtime for many verified big-bad-bool programs on one scope: prepare, admit, commit, with bounded mailboxes, logical timers, admission policies and a replayable trace.
A deterministic runtime for many verified big-bad-bool programs on one scope: prepare, admit, commit, with bounded mailboxes, logical timers, admission policies and a replayable trace.
Details from crates.io ↗.
big-bad-bool-runtime was first seen on crates.io · New crates on Nov 7, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #47 of 50, reached on Nov 7, 16:08 UTC. It dropped off the list after Nov 7, 16:08 UTC.
This page has little history so far; it stays out of search results until the item has trended on two days or has more context.
Position on crates.io · New crates at every check (lower is better).
Best rank per day (UTC).
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 7, 16:08 UTC, after 1 day of trending.
#47 on crates.io · New crates, on Nov 7, 16:08 UTC. Trendoday checks this list every 120 minutes.
It was first seen on Nov 7, 2026 and has been on the list on 1 day (1 check) since.