← 최신 프로덕트

FizzBee

Formal methods in Python. The easiest formal specification language and model checker for the full development cycle: requirements analysis, design verification, and model-based testing. GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built.

fizzbee.io 방문외부 사이트

반응 (2)

비슷한 프로덕트

설명이 비슷한 순

  1. Requirements Engineering with Formal Verification

    fizzbee.ai

    Every prompt leaves decisions unmade — and your agent will make them silently. FizzBee asks the questions your prompt didn't, then generates a precise, verified specification your coding agent can build from.

    Hacker News27점

  2. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7점

  3. Katharos Functional programming and CSP-style concurrency for Python

    github.com

    A functional programming and concurrency library for Python: algebraic abstractions (Semigroups, Monoids, Functors, Applicatives, Monads), immutable data types, and message-passing concurrency, all designed as composable, type-safe values.

    Hacker News37점

  4. I got tired of print(x.shape) so I built runtime type hints for Python

    github.com

    let types trickle from runtime to compile time

    Hacker News7점

  5. Formalizing Principia Mathematica using Lean

    github.com

    Rewriting Principia Mathematica in Lean

    Hacker News188점