ahmadsalim Goto Github PK

2019-bilagscan-status-report

2019-meetup-pyro-intro

Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019

agda-moddom

Modular Domains in Agda

agda-tron

An Agda implementation of TRON semantics

bprd-debugging

BPRD 2015 Debugging Tutorial and Exercise

cccagda

Compiling-to-Categories Agda

cpprandom

A Futhark library in the style of C++'s <random>

desc-n-crunch

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

dockerfiles

fflat

The Fb programming language

fflat-mdsliterals

Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)

haskell-transformations

infer

Infer.NET is a framework for running Bayesian inference in graphical models

itu-thesis

A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations

jax-dy

jeffreys

In memoriam of the great Bayesians Harold Jeffreys and Richard C. Jeffrey

maude-exercises

Maude exercises (DSL reading group 2015)

micro-dsl-properties

Micro DSLs and properties

minkodkod

Minimal model generation in KodKod

msc-thesis

MSc Thesis on practical levitation

numpyro

Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

numpyro_stein

p3-benchmarks

p3-tool

A reconfigurator tool for fPromela with support for variability abstractions.

parseltongue

A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)

pi-forall

A demo implementation of a simple dependently-typed language

pnerf-jax

ppx

Probabilistic Programming eXecution protocol (PPX)

pymc3

Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano

pyprob_sandbox