SteffenMichels

Radboud University

Pinned Repositories

cloogle.org
This project has been moved to https://gitlab.com/cloogle/cloogle-web
Language:Clean17 5 06
wmc
Bayesian Network Weighted Model Counting tools
Language:C3 3 11
cloogle.org
The Clean language search engine
Language:Clean0 1 00
IHPMC
Interative Hybrid Probabilistic Model Counting (IHPMC) is a probabilistic inference algorithm, which offers inference for hybrid models with bounded error.
Language:Haskell1 1 130

SteffenMichels's Repositories

SteffenMichels/IHPMC
Interative Hybrid Probabilistic Model Counting (IHPMC) is a probabilistic inference algorithm, which offers inference for hybrid models with bounded error.
Language:Haskell1 1 130
SteffenMichels/cloogle.org
The Clean language search engine
Language:Clean0 1 00