Giters
Malvin Gattinger (m4lvin)

m4lvin

Geek Repo

51

followers

37

following

261

stars

Company:ILLC, University of Amsterdam

Location:EU

Home Page:https://malv.in

Github PK Tool:Github PK Tool

Organizations
jrclogic

Malvin Gattinger's repositories

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

Language:HaskellStargazers:4Issues:3Issues:0

haskell_cudd

Haskell bindings to the CUDD binary decision diagram library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

hBDD

BDD (Boolean Decision Diagram) bindings for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

modalox

A modal logic theorem prover

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

mvl-solver

Language:C++Stargazers:0Issues:2Issues:0

NooBDD

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:3Issues:0

robbed

A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

satplus

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

sylvan-haskell

Haskell bindings to the Sylvan Parallel BDD library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

sylvan-haskell-example

Language:HaskellStargazers:0Issues:3Issues:0