Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by m4lvin
A curated list of projects in awesome lists by m4lvin .
https://github.com/m4lvin/lean4-pdl
WORK IN PROGRESS Lean 4 formalization of a Tableaux proof system for Propositional Dynamic Logic
dynamic-logic interpolation modal-logic
Last synced: 14 Oct 2024
https://github.com/m4lvin/modal-logic-final-embedding
Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
interpreter logic modal-logic tagless-final
Last synced: 14 Oct 2024
https://github.com/m4lvin/hascacbdd
λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
binary-decision-diagrams ffi haskell-bindings
Last synced: 14 Oct 2024
https://github.com/m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
agent-types epistemic-logic haskell model-checking puzzle
Last synced: 14 Oct 2024
https://github.com/m4lvin/illc-phd-thesis-template
🎓 The ILLC Dissertation Style with some adjustments and scripts.
academic-writing latex thesis-template
Last synced: 14 Oct 2024
https://github.com/m4lvin/nextcloud-client-debian-packaging
DEPRECATED - please use the nextcloud-desktop package in stretch-backports or the AppImage from nextcloud.com
Last synced: 14 Oct 2024
https://github.com/m4lvin/modal-tableau-interpolation
Modal Tableau with Interpolation in Haskell
formal-verification haskell logic tableau
Last synced: 14 Oct 2024
https://github.com/m4lvin/orgtorem
Get your org-mode agenda on the Remarkable tablet.
Last synced: 14 Oct 2024
https://github.com/m4lvin/gomoche
🗣️📞 Gossip Model Checking
distributed-systems epistemic-logic gossip haskell model-checking protocol
Last synced: 14 Oct 2024
https://github.com/m4lvin/dining-benchmark
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
benchmark dining-cryptographers haskell model-checking verification
Last synced: 14 Oct 2024
https://github.com/m4lvin/depender
minimal example for https://github.com/commercialhaskell/stack/issues/4141
Last synced: 14 Oct 2024
https://github.com/m4lvin/sabotage
The Sabotage Game
game-theory haskell modal-logic model sabotage
Last synced: 14 Oct 2024