Skip to content
View m4lvin's full-sized avatar
πŸ€”
πŸ€”
50 followers · 36 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Organizations

@jrclogic
Block or Report

Block or report m4lvin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
m4lvin/README.md

βˆ€πŸ“… βˆƒπŸš²: 🚴

Pinned

  1. jrclogic/SMCDEL jrclogic/SMCDEL Public

    A symbolic model checker for Dynamic Epistemic Logic.

    Haskell 39 10

  2. tablean tablean Public

    Tableau for basic modal logic in Lean 3

    Lean 12 3

  3. HasCacBDD HasCacBDD Public

    Ξ»πŸŽ„ Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

    C++ 4 1

  4. dining-benchmark dining-benchmark Public

    🍽️ πŸ” Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

    C++

  5. GoMoChe GoMoChe Public

    πŸ—£οΈπŸ“ž Gossip Model Checking

    Haskell 2 1

  6. modal-tableau-interpolation modal-tableau-interpolation Public

    Modal Tableau with Interpolation in Haskell

    Haskell 2