tikhonjelvis Goto Github PK

adaptive-radix-trees

A Haskell implementation of (persistent) adaptive radix trees.

aigames

array-forth

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

array-forth-hll

A simple Haskell DSL for outputting array forth code.

array-forth-mode

An Emacs mode for editing arrayForth and colorForth.

array-forth-sketch

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

avro

Haskell Avro Encoding and Decoding Native Support (no RPC)

circat

A categorical framework for circuit construction

cow

Semantic Version Control mk II.

cs164-mode

A simple Emacs mode for the cs164 language

different-tries

A Haskell implementation of a couple of different PATRICIA tries.

doctest

An implementation of Python's doctest for Haskell

dotfiles

Most of my system configuration files.

elproto

Prototype for elb reversible probabilistic programming

forth-nonsense

Attempts to embed something vaguely not unlike Forth into Haskell

gosu-mode

A set of Emacs modes for the Gosu language.

haskell-config

My haskell-mode configuration for Emacs

haskell-mode

Emacs mode for Haskell

haskell-platform

Distribution of Haskell with batteries included

haskell-project-mode

A minor mode for managing multiple Haskell projects.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

hyper-haskell

The strongly hyped Haskell interpreter

imp

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

inductive-mazes

Code for my blog post "Generating Mazes with Inductive Graphs"

javascript-card-games

Automatically exported from code.google.com/p/blarg

js-scheme

A Scheme interpreter written in JavaScript

lambda-calculi

Interpreters for variants of the lambda calculus

lambda-ccc

Convert lambda expressions to CCC combinators

maptac-chess

A JavaScript chess game written in high school

maze

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