m4lvin Goto Github PK

coreboot

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

cudd

An unofficial mirror of the CUDD decision diagrams package

depender

minimal example for https://github.com/commercialhaskell/stack/issues/4141

depgraph

Draw dependency graphs for math theorems

dining-benchmark

🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.

elm-lang.org

Server and client code for the Elm website.

gomoche

🗣️📞 Gossip Model Checking

gossip_protocol_expectation

Calculating the reachable states and the expected duration for some gossip protocols

hascacbdd

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

haskell-and-cpp

Example on how to integrate Haskell and C++ library.

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

haskell_cudd

Haskell bindings to the CUDD binary decision diagram library

hbdd

BDD (Boolean Decision Diagram) bindings for Haskell

hzulip

A haskell wrapper for the Zulip API.

ical2org.py

Convert ical .ics file to org-mode

illc-phd-thesis-template

🎓 The ILLC Dissertation Style with some adjustments and scripts.

lambdabot-zulip

Lambdabot for Zulip Chat

lean4-pdl

m4lvin

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

mathlib4

The math library of Lean 4

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

modal-tableau-interpolation

Modal Tableau with Interpolation in Haskell

modalox

A modal logic theorem prover

mvl-solver

navigation

ZEIT Navigationssystem

nextcloud-client-debian-packaging

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

noobdd

orgtorem

Get your org-mode agenda on the Remarkable tablet.