Solving the TerpreT problem (Gaunt et al. 2016), in particular the parity chain problem

🕵️ Haskell STatic ANalyser

Advanced Physics Engines 2020: A Hands-on Tutorial

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Functional language with intensional polymorphism and first-class staging.

A general-purpose probabilistic programming system with programmable inference

Primary implementation of the Venture probabilistic programming system

Haskell experiments involving TVM AI framework

Automatic verification of LLVM optimizations

Enoki: structured vectorization and differentiation on modern processor architectures

Productive, portable, and performant GPU programming in Python.

PyTorch RFCs (experimental)

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Easy hyperparameter optimization and automatic result saving across machine learning algorithms and libraries

"Multi-Level Intermediate Representation" Compiler Infrastructure

Formalizations of Gradually Typed Languages in Agda

Parsing, analyzing, and comparing source code across many languages

A statically-typed, functional typesetting system

A fast, flexible, fused effect system for Haskell

Microsoft Graph Engine

WIP implementation of a Haskell-like Lisp in Racket

A List of Foundational Haskell Papers

My slides and notes

Relational programming in Haskell. Mostly developed on twitch.

HeavyDB (formerly MapD/OmniSciDB)

The Self-Driving Database Management System

being the beginnings of at least zero typecheckers

Thoughts and stuff