Explore projects
-
-
-
-
mu / mu-client-ghc-api
Apache License 2.0Updated -
Nathan Yong / mu
BSD 3-Clause "New" or "Revised" LicenseHaskell bindings for Mu (impure version)
Updated -
mu / mu-client-ghc-ast
Apache License 2.0Updated -
Alwen TIU / pfmc-prover
BSD 3-Clause "New" or "Revised" LicenseParallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Updated