TikhonJelvis/dotfiles

Stars
20
Rank 1,115,969 (Top 23 %)
Language
Emacs Lisp
Created over 10 years ago
Updated 3 months ago

TikhonJelvis/dotfiles

TikhonJelvis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Most of my system configuration files.

RL-book

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.

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.

Semantic-Version-Control

A project for the 2011 Yahoo hackathon at Berkeley

TPL

A silly little programming language.

javascript-card-games

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

js-scheme

A Scheme interpreter written in JavaScript

reflex-ui

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

website

array-forth-sketch

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

Maptac-Chess

A JavaScript chess game written in high school

mote-el

An Emacs minor mode for interactive Haskell development with Mote

simulation

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

adaptive-radix-trees

A Haskell implementation of (persistent) adaptive radix trees.

cs164-mode

A simple Emacs mode for the cs164 language

array-forth-mode

An Emacs mode for editing arrayForth and colorForth.

Gosu-Mode

A set of Emacs modes for the Gosu language.

old-resume

The LaTeX files for my resume

Silly-Chat

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

Random-JS

Just some random JavaScript utilities.

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

seven-guis-reflex

a small project to learn how to use Reflex FRP based on the "Seven Tasks" GUI benchmark