berkeley-assert
Berkeley Lab (BerkeleyLab) / assert
Runtime assertion checks, including preconditions in pure procedures.
REPOSITORY OWNER · GitHub organization
Packages from Berkeley Lab (BerkeleyLab)
4 selected precompiled packages
These repositories may have additional authors and contributors.
Public profile metadata checked 2026-10-30.
Packages
4 packagesNo packages match. Try fewer words or clear the search.
fiats
Berkeley Lab (BerkeleyLab) / fiats
Neural-network inference using the GNU-compatible 0.12.0 source revision.
Package details · Repository · Try in playground
Checked drivers: fiats-inference-reference
formal
Berkeley Lab (BerkeleyLab) / formal
Mimetic discrete vector calculus with gradients, divergence and integration.
Package details · Repository · Try in playground
Checked drivers: formal-polynomial-reference
julienne
Berkeley Lab (BerkeleyLab) / julienne
Expressive numerical comparisons, unit-test diagnoses and diagnostic messages.