Pinned Repositories
2019-meetup-pyro-intro
Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019
agda-moddom
Modular Domains in Agda
desc-n-crunch
Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
fflat
The Fb programming language
fflat-mdsliterals
Extension of Fb with support for modular structured data literals (like XML, JSON, YAML etc.)
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
qsort-inline
Apple's qsort implementation with support for inlined comparison (by macros)
well-typed-agda-interpreter
A well typed interpreter for the simply-typed lambda calculus written in Agda
ahmadsalim's Repositories
ahmadsalim/desc-n-crunch
Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
ahmadsalim/well-typed-agda-interpreter
A well typed interpreter for the simply-typed lambda calculus written in Agda
ahmadsalim/numpyro_stein
ahmadsalim/agda-moddom
Modular Domains in Agda
ahmadsalim/2019-meetup-pyro-intro
Introduction to Pyro PPL for Pioneers of Probabilistic Programming Meetup April 2019
ahmadsalim/numpyro
Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.
ahmadsalim/agda-tron
An Agda implementation of TRON semantics
ahmadsalim/haskell-transformations
ahmadsalim/jax-dy
ahmadsalim/micro-dsl-properties
Micro DSLs and properties
ahmadsalim/pnerf-jax
ahmadsalim/Rascal-Light
Implementation of Rascal Light and Rabit - Static Analyzer for Rascal Light
ahmadsalim/2019-bilagscan-status-report
ahmadsalim/bprd-debugging
BPRD 2015 Debugging Tutorial and Exercise
ahmadsalim/cccAgda
Compiling-to-Categories Agda
ahmadsalim/cpprandom
A Futhark library in the style of C++'s <random>
ahmadsalim/dockerfiles
ahmadsalim/infer
Infer.NET is a framework for running Bayesian inference in graphical models
ahmadsalim/itu-thesis
A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
ahmadsalim/jeffreys
In memoriam of the great Bayesians Harold Jeffreys and Richard C. Jeffrey
ahmadsalim/maude-exercises
Maude exercises (DSL reading group 2015)
ahmadsalim/minkodkod
Minimal model generation in KodKod
ahmadsalim/p3-benchmarks
ahmadsalim/p3-tool
A reconfigurator tool for fPromela with support for variability abstractions.
ahmadsalim/ppx
Probabilistic Programming eXecution protocol (PPX)
ahmadsalim/pymc3
Probabilistic Programming in Python: Bayesian Modeling and Probabilistic Machine Learning with Theano
ahmadsalim/pyprob_sandbox
ahmadsalim/pyro-string-inference
Inference with strings in Pyro
ahmadsalim/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
ahmadsalim/SymexTRON
Symbolic Execution of TRON