GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens, and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption in our documentation.

Explore projects

P

Alwen TIU / pfmc-prover
BSD 3-Clause "New" or "Revised" License

Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.

0

Updated Jul 20, 2022

0 0 0

Updated Jul 20, 2022
M

mu / mu-client-ghc-ast
Apache License 2.0

0

Updated Aug 25, 2017

0 0 0 0

Updated Aug 25, 2017
M

mu / mu-client-ghc-api
Apache License 2.0

0

Updated Sep 09, 2017

0 0 0 0

Updated Sep 09, 2017
M

Nathan Yong / mu
BSD 3-Clause "New" or "Revised" License

Haskell bindings for Mu (impure version)

0

Updated Sep 24, 2016

0 0 0 0

Updated Sep 24, 2016
M

Nathan Yong / mu-pure
BSD 3-Clause "New" or "Revised" License

Pure Haskell binding to Mu

0

Updated Oct 13, 2016

0 0 0 0

Updated Oct 13, 2016
M

mu / mu-client-ghc
BSD 3-Clause "New" or "Revised" License

ANU Haskell Compiler

0

Updated Oct 20, 2017

0 1 1 3

Updated Oct 20, 2017
M

mu / mu-client-bf
BSD 3-Clause "New" or "Revised" License

BF compiler targeting Mu VM

0

Updated Jun 17, 2016

0 0 0 0

Updated Jun 17, 2016