Discover @TikhonJelvis Open Source projects

Tikhon Jelvis (@TikhonJelvis)

TikhonJelvis

Stars
851
Global Rank 35,733 (Top 2 %)
Followers 493
Following 1
Registered almost 14 years ago
Most used languages

Haskell
37.5 %

JavaScript
25.0 %

Emacs Lisp
18.8 %

HTML
6.3 %

Nix
3.1 %

Python
3.1 %

Java
3.1 %

TeX
3.1 %
Location 🇺🇸 United States
Country Total Rank 11,425
Country Ranking

Haskell
116

Emacs Lisp
363

Nix
639

Python
2,602

TeX
4,381

HTML
7,632

RL-book

Simple-Prolog

A simple Prolog interpreter

Cow

Semantic Version Control mk II.

inductive-mazes

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

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.

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.

simulation

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

Maptac-Chess

A JavaScript chess game written in high school

mote-el

An Emacs minor mode for interactive Haskell development with Mote

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