rybla

Functive

A simple modular extendible statically-typed symbolic programming language with dependent types. Implemented in Haskell.

IMP-Interpreter

This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.

Thesis-Purity-and-Effect

My Reed Undergraduate Thesis.

AlgebraExperiments

algebra experiments in Agda

Associahedra

Constructing Associahedra via n-gon triangulations.

ATF

Abstract transpilation framework.

Compilator

An abstractly-specified transpiler

Coq-Work

Various work I've done with the Coq proof assistant. Mostly just personal practice.

Daemon

eff

A functional programming language based on algebraic effect handlers

effigy-hs

Effigy, a simple Eff-like language, implemented in Haskell.

Empirior

A simple imperitive language supporting gradual Hoare-logical verification.

Escaigne

A programming language for defining integer sequences.

Haskell-Work

Miscellaneous work I've done with Haskell.

hlc

Henry's Lambda Calculus

HO-GAN

A GAN for benchmarking performance at recognizing simple higher-order patterns.

hopf-fibration

An interactive visualization of the Hopf fibration

language-miniml

A grammar specification for MiniML.

life

Messing around with Conway's Game of Life, cellular automata, and WebGL.

MonAdv

Text-adventure game implemented with the StateT monad transformer (Haskell).

OCaml-Work

Working practice and examples in OCaml.

Philosophy-of-Computation

Work for Mark Bedau's Philosophy of Computation course at Reed College.

plutus

The Plutus language implementation and tools

SocialNetworks

Social Networks research with 2017 computer systems publications data. Henry Blanchette and Eitan Frachtenburg (Reed College)

Sphere-Packing

My final project for the Number Theory course at Reed College.

SuperMegaSquareWar

A sudoku-like game (variant of Star Battle).

SystemsAnalysis

My research analyzing systems papers networks with Eitan Frachntenburg at Reed College. UPDATE: this repository is now deprecated. Research has continued in the following repository:

three.js

JavaScript 3D library.

travis-test

Testing travis continuous integration

umd-website

My UMD website - a landing page that connects to my work.