← Latest products

Reproducibility Benchmark a Risk Quantitative Model

FLUXARA-1 independent audit verification pack for peer review. Contains frozen engine outputs, replication scripts, and vBase blockchain temporal proofs (SR 11-7 / Basel IRB aligned).

Open source

26 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Formally Verified Leaderless Log Protocol for Kafka

    github.com

    The spec of leaderless log protocol used in Ursa

    Hacker News5 pts

  2. Formal Verification for Machine Learning Models Using Lean 4

    github.com

    Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

    Hacker News52 pts

  3. Forgejo Appliance

    github.com

    a private Git server based on OrbStack and Tailscale

    Hacker News7 pts

  4. I built a tool for (formal) model-based specification and testing

    downloads.provengo.tech

    Hacker News8 pts

  5. I made an open-source Rust program for memory-efficient genomics

    github.com

    Reusable genomic evidence for research and analysis tools: exact read evidence, portable datasets, and managed analyzers.

    Hacker News17 pts