Skip to content
Change the repository type filter

All

    Repositories list

    • prism

      Public
      The main development version of the PRISM model checker.
      Java
      GNU General Public License v2.0
      781894017Updated Apr 22, 2026Apr 22, 2026
    • The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.
      Java
      GNU General Public License v2.0
      253134Updated Apr 10, 2026Apr 10, 2026
    • The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.
      Raku
      91110Updated Mar 12, 2025Mar 12, 2025
    • cudd

      Public
      Modified version of CUDD used in PRISM
      C
      BSD 3-Clause "New" or "Revised" License
      0110Updated Aug 8, 2024Aug 8, 2024
    • prism-api

      Public
      Example code for connecting to PRISM programmatically.
      Java
      8902Updated May 3, 2024May 3, 2024
    • ppl

      Public
      Modified version of PPL (Parma Polyhedra Library) used in PRISM.
      C++
      GNU General Public License v3.0
      0000Updated Jan 8, 2024Jan 8, 2024
    • prism-ext

      Public
      Publicly released extensions and snapshots of PRISM. The master branch mirrors the main repo; each extension/snapshot is in a separate branch/release.
      Java
      GNU General Public License v2.0
      0210Updated Mar 20, 2021Mar 20, 2021
    • Old version of the PRISM regression test suite; now merged into the main PRISM repo.
      Perl 6
      4301Updated Nov 9, 2017Nov 9, 2017
    • prism-svn

      Public
      Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.
      Java
      111102Updated Aug 15, 2017Aug 15, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.