Tikhon Jelvis

RL-book. Python

Simple-Prolog. A simple Prolog interpreter

inductive-mazes. Code for my blog post "Generating Mazes with Inductive Graphs"

Cow. Semantic Version Control mk II.

modular-arithmetic. A useful type for working with integers modulo some constant.

array-forth. A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.

Reactive-Life. A functional reactive GUI for John Conway's Game of Life.

talks. Slides for my talks at various meetups.

dotfiles. Most of my system configuration files.

imp. Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

maze. A simple JavaScript utility for drawing mazes as well as a program to find some statistics about them.

javascript-card-games. Automatically exported from code.google.com/p/blarg

TPL. A silly little programming language.

Semantic-Version-Control. A project for the 2011 Yahoo hackathon at Berkeley

js-scheme. A Scheme interpreter written in JavaScript

reflex-ui. A rough draft of a higher-level UI framework Reflex FRP and Reflex DOM.

theta-idl. Define communication protocols between applications using algebraic data types.

website. My website.

array-forth-sketch. Some utilities for generating array-forth programs to run on the sketch synthesizer.

simulation. A 2D polygon collision simulation originally written for A.S. physics in 2009.

array-forth-mode. An Emacs mode for editing arrayForth and colorForth.

mote-el. An Emacs minor mode for interactive Haskell development with Mote

Maptac-Chess. A JavaScript chess game written in high school

cs164-mode. A simple Emacs mode for the cs164 language

adaptive-radix-trees. A Haskell implementation of (persistent) adaptive radix trees.

www.haskell.org. www.haskell.org site source

Random-JS. Just some random JavaScript utilities.

Silly-Chat. A simple node js chat server and client using Comet; nothing special.

mote. Haskell

old-resume. The LaTeX files for my resume

ProgViz. A visual debugger that helps you visualize algorithms as you're writing them

haskell-project-mode. A minor mode for managing multiple Haskell projects.

resume. My resume

Gosu-Mode. A set of Emacs modes for the Gosu language.

seven-guis-reflex. a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark

Tosa. The Tosa ORM framework for the Gosu language