Research language for array processing in the Haskell/ML family

Compiler with automatic differentiation

Koka language compiler and interpreter

A purely functional programming language with first class types

A language and an embedded JIT compiler

💥💻💥 A data-parallel functional programming language

Embedded language for high-performance array computations

integrating Naperian functors with Hasktorch

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Differentiable, Hardware Accelerated, Molecular Dynamics

A domain-specific-language and compiler for low-level bitstream processing.

Haskell bindings for LLVM

Analysis software for single-molecule fluorescence resonance energy transfer (smFRET) data.

Recognizing and exploiting conjugacy without a domain-specific language

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

JS-compatible regular expressions implemented in JS.

Convert lambda expressions to CCC combinators

Running the code you want to write as fast as the code you have to write

A pedagogical implementation of Autograd

Source-to-Source Debuggable Derivatives in Pure Python

Autograd extension for forward mode autodiff

Visually explore covariation in protein families

Interactive importing of CSV files to Ledger

My PhD Thesis

Universal markup converter

A pure Python interface to the Raspberry Pi camera module

Makefile for Arduino sketches. It defines the workflows for compiling code, flashing it to Arduino and even communicating through Serial.

RPIO is a GPIO toolbox for the Raspberry Pi.