Skip to content
Change the repository type filter

All

    Repositories list

    • High-confidence browser testing
      Python
      BSD 3-Clause "New" or "Revised" License
      18373131Updated Aug 18, 2024Aug 18, 2024
    • specstrom

      Public
      A new specification language for Quickstrom
      Haskell
      BSD 3-Clause "New" or "Revised" License
      1300Updated Aug 18, 2024Aug 18, 2024
    • A Kotlin reimplementation of the Specstrom Language
      Kotlin
      0001Updated Apr 14, 2024Apr 14, 2024
    • New LTL visualizer in OCaml
      OCaml
      0100Updated Jan 16, 2023Jan 16, 2023
    • pyquickstrom

      Public archive
      Python
      BSD 3-Clause "New" or "Revised" License
      0601Updated Nov 11, 2022Nov 11, 2022
    • Quickstrom's website
      2201Updated Nov 10, 2022Nov 10, 2022
    • ccs

      Public
      A CCS workbench to model non-web systems for testing
      Haskell
      0000Updated Oct 6, 2021Oct 6, 2021
    • Placeholder
      0000Updated Sep 24, 2021Sep 24, 2021
    • An interactive visualizer for linear temporal logic (LTL)
      ReScript
      Mozilla Public License 2.0
      32700Updated May 26, 2021May 26, 2021
    • Haskell bindings for the W3C WebDriver API
      Haskell
      GNU General Public License v3.0
      10000Updated Mar 29, 2021Mar 29, 2021