Highlights
- Pro
-
numpyro Public
Forked from pyro-ppl/numpyroProbabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.
-
-
jeffreys Public
In memoriam of the great Bayesians Harold Jeffreys and Richard C. Jeffrey
Python UpdatedNov 24, 2020 -
-
-
-
ppx Public
Forked from pyprob/ppxProbabilistic Programming eXecution protocol (PPX)
Rust BSD 2-Clause "Simplified" License UpdatedMay 5, 2020 -
-
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
C++ Other UpdatedMar 13, 2020 -
Rascal-Light Public
Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light
-
-
-
2019-meetup-pyro-intro Public
Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019
-
cpprandom Public
Forked from diku-dk/cpprandomA Futhark library in the style of C++'s <random>
ISC License UpdatedMar 17, 2019 -
-
desc-n-crunch Public
Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
-
infer Public
Forked from dotnet/inferInfer.NET is a framework for running Bayesian inference in graphical models
C# MIT License UpdatedDec 15, 2018 -
pymc3 Public
Forked from pymc-devs/pymcProbabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano
Python Other UpdatedSep 13, 2018 -
dockerfiles Public
Forked from aergus/dockerfilesDockerfile Creative Commons Zero v1.0 Universal UpdatedMay 10, 2018 -
itu-thesis Public
Forked from david-christiansen/itu-thesisA highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
TeX UpdatedJun 21, 2017 -
SymexTRON Public
Forked from itu-square/SymexTRONSymbolic Execution of TRON
Scala GNU General Public License v3.0 UpdatedFeb 22, 2017 -
agda-tron Public
An Agda implementation of TRON semantics
-
micro-dsl-properties Public
Micro DSLs and properties
-
p3-tool Public
Forked from itu-square/p3-toolA reconfigurator tool for fPromela with support for variability abstractions.
Haskell GNU General Public License v3.0 UpdatedSep 30, 2016 -
-
well-typed-agda-interpreter Public
A well typed interpreter for the simply-typed lambda calculus written in Agda
-
minkodkod Public
Forked from salmans/AluminumMinimal model generation in KodKod
Java UpdatedNov 30, 2015 -
bprd-debugging Public
BPRD 2015 Debugging Tutorial and Exercise
C GNU Lesser General Public License v3.0 UpdatedOct 8, 2015 -
-
p3-benchmarks Public
Forked from itu-square/p3-benchmarksGNU General Public License v3.0 UpdatedMay 4, 2015