Compile-time model-id validation with declared capability

비슷한 프로덕트

설명이 비슷한 순

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

   downloads.provengo.tech

   HNHacker News8점

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.

   HNHacker News52점

3. A C++11 Hierarchical State Machine Library

   github.com

   A C++11 Hierarchical State Machine Library

   HNHacker News5점

4. Company-as-Code –> Spec and Validator

   github.com

   open standard for company as code.

   HNHacker News5점

5. Rusdantic

   github.com

   A unified, high-performance data validation and serialization framework for Rust, inspired by Pydantic's ergonomics and powered by Serde.

   HNHacker News5점