#bdd

  1. cucumber

    testing framework for Rust, with async support. Fully native, no external test runners or dependencies.

    v0.23.0 213K #bdd #testing #atdd #async
  2. gherkin

    Pure Rust implementation of Gherkin language (.feature file) for Cucumber testing framework

    v0.16.0 240K #bdd #cucumber #testing #cucumber-gherkin
  3. biodivine-lib-bdd

    thread-safe implementation of basic binary decision diagrams

    v0.6.3 300 #bdd #boolean #symbolic #boolean-expression
  4. agent-spec

    AI-native BDD/Spec verification tool for contract-driven agent coding

    v0.2.7 #bdd #specification #coding-agent #verification-tool #ai-native #ai-agent #ai-coding #changeset
  5. oxidd

    A safe, concurrent, modular, and performant decision diagram framework

    v0.11.0 1.5K #zdd #zbdd #decision-diagrams #bdd
  6. biodivine-algo-bdd-scc

    BDD-based algorithms for symbolic SCC detection in Boolean networks

    v0.3.2 #scc #reachability #boolean-network #bdd #symbolic
  7. narrative

    An immensely simple library for story-driven development

    v0.12.2 #testing #bdd #atdd #story-driven
  8. rstest-bdd

    A BDD testing framework for Rust, built on rstest

    v0.6.0-beta1 2.0K #bdd #testing #gherkin #rstest #cucumber
  9. behave

    BDD testing framework with expressive expect! matchers and a zero-keyword DSL

    v0.9.2 #test-framework #testing #matcher #bdd
  10. rspec

    Write Rspec-like tests with stable rust

    v1.0.0 800 #bdd #tdd #test-harness
  11. rsspec

    A Ginkgo/RSpec-inspired BDD testing framework for Rust

    v0.5.0 #testing #bdd #rspec #ginkgo
  12. lumindd

    A pure Rust decision diagram library — BDD, ADD, and ZDD manipulation with complemented edges, dynamic reordering, and operation caching

    v1.0.0 #decision-diagram #bdd #zdd #formal-verification #add
  13. poulpy-schemes

    A backend agnostic crate implementing mainsteam RLWE-based FHE schemes

    v0.5.0 #encryption #fhe #lookup-tables #rotation #homomorphic-encryption #unsigned-integer #bdd #lwe #glwe #scratch-space
  14. choreo

    DSL for BDD type testing

    v0.15.0 #dsl #bdd #testing #cli
  15. litmus

    a macro-free BDD test harness

    v0.5.5 #test-harness #bdd #cucumber #gherkin
  16. testeranto_rusto

    Testeranto

    v0.5.0 #test-framework #rusto #pattern #testeranto #typescript #rust-implementation #bdd #aaa #artifactory
  17. archidoc-types

    Shared types for the archidoc toolchain

    v0.5.0 #architecture #bdd #documentation #c4-model
  18. adze-bdd-governance-reporting-core

    Profile-aware reporting helpers for BDD governance status outputs

    v0.1.0 #grammar #governance #bdd #reporting #parser-grammar
  19. ferriskey-cli

    FerrisKey command-line client

    v0.1.0 #ferriskey-sdk #rust-sdk #command-line #cli #command-line-client #openai #bdd #tdd #json-path #prism
  20. mlua-lspec

    BDD test framework for Lua on mlua — lust-based describe/it/expect with spy/stub/mock

    v0.3.0 #testing #lua #mlua #bdd
  21. oxidd-cli

    Command line interface for OxiDD

    v0.4.1 #zdd #zbdd #decision-diagrams #bdd
  22. perl-lsp-feature-grid

    BDD-aware feature-grid payload and profile-aware advertized feature APIs for Perl LSP

    v0.12.2 #lsp #perl #bdd #features #capability
  23. cucumber-reporter

    html reporter for cucumber-rs

    v0.3.0 #bdd #cucumber #testing #reporting #html
  24. boolean_expression

    manipulating and evaluating Boolean expressions and BDDs

    v0.4.4 57K #boolean #expression #bdd #binary-decision-diagrams #decision-diagram
  25. rust-actions

    BDD testing framework with GitHub Actions YAML syntax

    v0.2.1 #github-actions #bdd #testing #async #yaml
  26. adze-governance-matrix-core

    Core governance contracts combining BDD progress and parser feature profiles

    v0.1.0 #governance #bdd #metadata #parser
  27. adze-bdd-grid-core

    Core BDD grid contracts for parser progress reporting and feature-aware status tracking

    v0.1.0 #bdd #grammar #testing #parser-grammar
  28. rstest-bdd-harness-gpui

    GPUI harness adapter and attribute policy for rstest-bdd

    v0.6.0-beta1 #bdd #rstest #cucumber #gherkin
  29. stainless

    Organized, flexible testing framework

    v0.1.12 140 #test-framework #tdd #testing #bdd
  30. adze-governance-status-core

    Status-line and backend-description helpers for governance reporting

    v0.1.0 #governance #bdd #status #parser
  31. adze-bdd-scenario-core

    Core BDD scenario status/types shared across governance and reporting crates

    v0.1.0 #bdd #grammar #testing #parser-grammar
  32. kitten

    light bdd framework for Rust and for those who don't like cucumber - cats don't like cucumbers, kittens are light cats

    v0.5.0 #light #bdd #framework #cucumber #dont #cats
  33. adze-bdd-governance-core

    Core BDD governance matrix primitives composed with parser feature policies

    v0.1.0 #bdd #testing #grammar #parser-grammar
  34. bex

    working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.)

    v0.3.0 650 #ast #diagram #bdd #anf
  35. adze-governance-runtime-core

    Core runtime governance primitives for BDD/profile composition

    v0.1.0 #governance #bdd #metadata #parser
  36. shoulda

    derive macro for test assertions

    v0.2.1 170 #tdd #assertions #bdd
  37. executable-stories

    BDD story documentation for Rust tests

    v0.1.0 #documentation #testing #story #bdd #report #otel #emit
  38. rstest-bdd-patterns

    Shared step-pattern compilation utilities for rstest-bdd

    v0.6.0-beta1 2.0K #bdd #gherkin #rstest #cucumber
  39. adze-governance-runtime-profile-core

    Core parser-feature profile selection and backend resolution helpers for runtime governance

    v0.1.0 #governance #bdd #metadata #parser
  40. rstest-bdd-policy

    Shared runtime policy types for rstest-bdd

    v0.6.0-beta1 2.0K #bdd #cucumber #gherkin #rstest
  41. integra8

    integration test framework Rust with a focus on productivity, extensibility, and speed

    v0.0.5-rc1 #test-framework #integration-testing-framework #bdd #testing
  42. easy-assert

    readable assertions in your tests

    v0.2.1 #assertions #tdd #bdd #testing #assert-that
  43. bddminisat-sys

    FFI bindings to bdd_minisat_all, a BDD-based AllSAT solver

    v0.1.0 #sat-solver #mini-sat #bdd #allsat #solver
  44. adze-governance-matrix-contract

    Composed governance contracts combining BDD progress and parser feature profiles

    v0.1.0 #governance #bdd #metadata #parser
  45. xdd

    Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics

    v0.1.0 #multiset #combinatorics #zdd #boolean #bdd
  46. adze-governance-runtime-reporting

    Shared reporting helpers for BDD progress and parser feature-profile diagnostics

    v0.1.0 #governance #bdd #metadata #parser
  47. rstest-bdd-harness-tokio

    Tokio harness adapter and attribute policy for rstest-bdd

    v0.6.0-beta1 #bdd #cucumber #gherkin #rstest
  48. rstest-bdd-server

    Language server for rstest-bdd BDD testing framework

    v0.6.0-beta1 #language-server #bdd #gherkin #lsp #rstest
  49. adze-runtime-governance-api

    Runtime API facade for parser governance, feature-flag profiles, and BDD reporting

    v0.1.0 #governance #bdd #metadata #parser
  50. fluid

    An human readable test library

    v0.4.1 #human-readable #bdd #fluent
  51. stainless2

    Organized, flexible testing framework

    v0.1.14 #test-framework #tdd #bdd #testing
  52. kotoba-tester

    Kotoba Test Runner - Testing framework for .kotoba files

    v0.1.16 #test-runner #kotoba #testing #assertions #bdd
  53. adze-governance-metadata

    Governance metadata primitives for BDD progress and parser feature snapshots

    v0.1.0 #governance #bdd #metadata #parser
  54. adze-runtime-governance-matrix

    Runtime-capability governance matrix with feature-flag profiles and BDD reporting

    v0.1.0 #governance #bdd #metadata #parser
  55. adze-runtime-governance

    Runtime-facing governance helpers for parser feature profiles and BDD progress reporting

    v0.1.0 #governance #bdd #metadata #parser
  56. Try searching with DuckDuckGo.

  57. sylvan-sys

    Bindings for the Sylvan parallel decision diagrams library

    v1.1.0 #bdd #parallel #symbolic
  58. rstest-bdd-harness

    Harness adapter traits and attribute policy interfaces for rstest-bdd

    v0.6.0-beta1 #bdd #rstest #cucumber #gherkin
  59. cucumber-trellis

    Create a test "trellis" for Cucumber

    v0.1.4 320 #cucumber #testing #tdd #automation #bdd
  60. integra8_decorations

    A collection flat shorthand notation objects used by the Integra8 test framework for building test suite hierarchies

    v0.0.4-alpha #test-framework #integra8 #bdd #testing
  61. zdd

    A Zero-suppressed BDD library

    v0.3.0 #bdd #diagram
  62. integra8_async_runtime

    abstraction layer for interacting with different async runtimes for the Integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  63. rustspec

    BDD style test library

    v0.1.16 #testing #bdd #describe #expect
  64. morq

    TDD/BDD assertion interface

    v0.3.0 #unit-testing #bdd #tdd
  65. integra8_results

    Test Result objects for the Integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  66. integra8_components

    A collection of fundamental test components used by the Integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  67. integra8_scheduling

    Component scheduling for integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  68. integra8_runner

    Test runner for the Integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  69. cudd

    Cudd Rust library

    v0.1.4 #model-checking #bdd #logic #formal-method
  70. odra-bdd

    BDD helper for Odra smart contracts

    v2.6.0 #bdd #odra #smart-contracts #tutorial
  71. integra8_formatters

    Test output formatters for displaying test results for the Integra8 test framework

    v0.0.4-alpha #test-framework #integra8 #bdd #framework-integration #testing
  72. bdd

    Bulk Data Duplicator (bdd)

    v0.1.0 #duplicator #bulk #data #interface #backup #backup-tools
  73. rstest-bdd-macros

    Procedural macros for the rstest-bdd testing framework

    v0.6.0-beta1 2.0K #bdd #gherkin #cucumber #rstest #testing
  74. rustspec_assertions

    BDD style assertion library

    v0.1.9 #bdd #assertions #testing
  75. kukumba

    BDD helper. Makes test cases more readable

    v0.1.0 #testing #bdd #test
  76. shoulda_core

    derive macro for test assertions

    v0.2.1 190 #assertions #tdd #bdd #testing
  77. integra8_tree_formatter

    Tree structured output formatters for displaying test results for the Integra8 test framework

    v0.0.5-rc1 #test-framework #integra8 #bdd #testing
  78. behave-macros

    Proc macros for the behave BDD testing framework

    v0.9.2 #test-framework #testing #bdd #proc-macro
  79. bdd-sugar

    Behaviour-driven development syntactic sugar to make tests more readable

    v0.1.0 #syntax-sugar #testing #syntactic #bdd
  80. spectest

    A lightweight library for defining behavior-driven development (BDD) style tests in exernal files and running them with cargo test

    v0.1.2 140 #testing #bdd
  81. rs_unit

    RsUnit is a testing crate similar to Elixirs ExUnit

    v0.0.2 #unit-testing #bdd #tdd #testing
  82. integra8_serde_formatter

    Serde output formatters for displaying test results for the Integra8 test framework

    v0.0.5-rc1 #test-framework #integra8 #bdd #testing #framework-integration
  83. adze-governance-matrix-core-impl

    Compatibility facade for the extracted BDD governance core implementation

    v0.1.0 #governance #bdd #metadata #parser
  84. vinegar

    A collection of functions and macros to help testing Rust code

    v0.1.0 #testing #tdd #bdd