General relativity experiments

Lossless compression with recurrent neural networks and asymmetric numeral systems

Systematic search for λ terms

A command line tool for cryptography, written in Haskell.

An interactive visualization of non-Euclidean spaces

State space reconstruction with Takens' theorem

Simple model checker for computation tree logic (CTL)

Solving Project Euler with Haskell

Search for the smallest primitive recursive function that satisfies a specification

Solomonoff induction in higher-type arithmetic

An implementation of the untyped lambda calculus with De Bruijn indices

Active learning through Bayesian hierarchical clustering

A tool for scraping information from Columbia UNIs

Reinforcement learning algorithms

Tag system simulation and prediction based on http://arxiv.org/abs/1601.02014

An interactive visualization of special relativity

A simple chat server written in C

Computational electromagnetics using the FDTD method

Simple example of an artificial neural network

SK combinatory logic implementation

A simple Monte Carlo simulation of the 2D Ising model

Procedural generation from audio onset detection

Tutorial for web scraping in Python