2 search results for "author:"Nikolaus Huber <mail@n-huber.eu>""

Showing 1 - 2
  1. ortac-qcheck-stm

    No documentation

    0.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025
  2. Runtime support library for Ortac/QCheck-STM-generated code
    0.7.0
    MIT
    Used by 1 other packages
    04 Jul 2025