Docs.rs

High-performance CPU-based Text-to-Speech library using Candle

Command-line interface for html-to-markdown - high-performance HTML to Markdown converter

High-performance HTML to Markdown converter using the astral-tl parser. Part of the Kreuzberg ecosystem.

Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite.

The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata

Model Checker constructing an abstract counter system encoded into BDDs to verify threshold automata. This model checker is part of the TACO toolsuite.

Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite.

A crate allowing you to obtain a threshold automaton with an (symbolic) interval abstraction applied to it. This crate is part of the TACO toolsuite.

A crate containing parsers to parse threshold automata and ELTL specifications from ByMC and TLA+ specification files. This crate is part of the TACO toolsuite.

Model Checker interface and specification definitions for model checkers that are part of the TACO toolsuite.

A crate defining the SMT encodings of threshold automata components into SMT. This crate is part of the TACO toolsuite.

A crate defining basic types for threshold automata and all of its building blocks. This crate is part of the TACO toolsuite.

A small helper crate for displaying iterators. This crate is part of the TACO toolsuite.

A Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.

Greentic integration tooling and test runner