High performance, regular, shape polymorphic parallel arrays.

Statistical Rethinking (2nd ed.) with NumPyro

The most widely used Python to C compiler

Deep Probabilistic Programming Course @ DIKU

Documentation:

PyProb Java bindings

Command & Conquer: Remastered Collection

A purely functional programming language with first class types

By the Bluebook implementation of Smalltalk-80

Flax is a neural network library for JAX that is designed for flexibility.

PyTorch RFCs (experimental)

code for the paper "Stein Variational Gradient Descent (SVGD): A General Purpose Bayesian Inference Algorithm"

Nonlinear SVGD for Learning Diversified Mixture Models

Implementation of an algorithm for Markov chain Monte Carlo with data subsampling

Dr. Bayes

code for the paper "Stein Variational Gradient Descent (SVGD): A General Purpose Bayesian Inference Algorithm"

A library and case-study for linear, intrinsically-typed interpreters in Agda

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

A slow-paced introduction to reflection in Agda. ---Tactics!

Code for the paper "DewarpNet: Single-Image Document Unwarping With Stacked 3D and 2D Regression Networks" (ICCV '19)

Generic API for dispatch to Pyro backends.

The Stan transpiler (from Stan to C++ and beyond).

Pioneers-pp presentation, and code examples

Windows version of NVIDIA's NCCL ('Nickel') for multi-GPU training - please use https://github.com/NVIDIA/nccl for changes.

"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin

This is a language detection library implemented in plain Java. (aliases: language identification, language guessing)

Port of Google's language-detection library to Python.

C++ implementation of hamming distance algorithm HmSearch using Kyoto Cabinet