Steffen Michels (SteffenMichels)

SteffenMichels

Geek Repo

Company:Radboud University

Github PK Tool:Github PK Tool

Steffen Michels's repositories

IHPMC

Interative Hybrid Probabilistic Model Counting (IHPMC) is a probabilistic inference algorithm, which offers inference for hybrid models with bounded error.

Language:HaskellLicense:MITStargazers:1Issues:1Issues:13

cloogle.org

The Clean language search engine

Language:CleanLicense:MITStargazers:0Issues:1Issues:0