Discover @m4lvin Open Source projects

Malvin Gattinger (@m4lvin)

m4lvin

Stars
32
Global Rank 468,722 (Top 17 %)
Followers 43
Following 33
Registered almost 12 years ago
Most used languages

Haskell
50.0 %

Lean 20.0 %

TeX
10.0 %

HTML
10.0 %

C++
10.0 %
Location 🇺🇸 United States
Country Total Rank 87,054
Country Ranking

Lean 33

Haskell
732

TeX
2,838

tablean

tableau for modal logic in Lean

lean4-pdl

mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

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

nextcloud-client-debian-packaging

DEPRECATED - please use the nextcloud-desktop package in stretch-backports or the AppImage from nextcloud.com

HasCacBDD

λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.

illc-phd-thesis-template

🎓 The ILLC Dissertation Style with some adjustments and scripts.

modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

GoMoChe

🗣️📞 Gossip Model Checking

orgToRem

Get your org-mode agenda on the Remarkable tablet.

m4lvin