Giters
Fabian Zaiser (fzaiser)

fzaiser

Geek Repo

7

followers

2

following

4

stars

Home Page:https://fabianzaiser.com

Github PK Tool:Github PK Tool

Fabian Zaiser's repositories

genfer

Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

Language:RustLicense:MITStargazers:16Issues:2Issues:0

nonparametric-hmc

Implementation of Nonparametric Hamiltonian Monte Carlo

Language:Jupyter NotebookLicense:MITStargazers:12Issues:1Issues:2

tree-theory-solver

A solver for the extended theory of trees and algebraic (co)datatypes

Language:ScalaLicense:MITStargazers:2Issues:0Issues:0

Dafny-VMC

Language:DafnyLicense:MITStargazers:0Issues:0Issues:0

kani

Kani Rust Verifier

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0