← 최신 프로덕트

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).

오픈소스

26 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formally Verified Leaderless Log Protocol for Kafka

    github.com

    The spec of leaderless log protocol used in Ursa

    Hacker News5점

  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점

  3. Forgejo Appliance

    github.com

    a private Git server based on OrbStack and Tailscale

    Hacker News7점

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

    downloads.provengo.tech

    Hacker News8점

  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점