Skip to content
@apalache-mc

Apalache Model Checker

Apalache: symbolic model checker for TLA+ and Quint
README.md

Apalache

This is the Github organization for running development of Apalache. For further details, see the main repository of Apalache.

The project is governed according to the Technical Charter.

Copyright © Apalache a Series of LF Projects, LLC

For web site terms of use, trademark policy and other project policies please see lfprojects.org.

Popular repositories Loading

  1. apalache apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    Scala 601 53

  2. apalache-tests apalache-tests Public

    Benchmarks for apalache

    SMT 6 2

  3. apalache-bench apalache-bench Public

    Apalache Bench Tests

    HTML 5

  4. apalache-chai apalache-chai Public archive

    Chai: Client for Human-Apalache Interaction

    Python 4 3

  5. .github .github Public

    Home of APALACHE: symbolic model checker for TLA+ and Quint

    1

Repositories

Showing 5 of 5 repositories
  • apalache Public

    APALACHE: symbolic model checker for TLA+ and Quint

    apalache-mc/apalache's past year of commit activity
    Scala 601 Apache-2.0 53 248 (6 issues need help) 13 Updated Sep 23, 2026
  • .github Public

    Home of APALACHE: symbolic model checker for TLA+ and Quint

    apalache-mc/.github's past year of commit activity
    1 Apache-2.0 0 0 0 Updated Jun 17, 2026
  • apalache-chai Public archive

    Chai: Client for Human-Apalache Interaction

    apalache-mc/apalache-chai's past year of commit activity
    Python 4 3 2 0 Updated Oct 7, 2025
  • apalache-tests Public

    Benchmarks for apalache

    apalache-mc/apalache-tests's past year of commit activity
    SMT 6 Apache-2.0 2 8 0 Updated Mar 8, 2023
  • apalache-bench Public

    Apalache Bench Tests

    apalache-mc/apalache-bench's past year of commit activity
    HTML 5 0 1 0 Updated Feb 27, 2023

Most used topics

apalache tlaplus