evanbergeron

hybrid-emacs

A dark colorscheme for emacs

thon

a functional programming language

dotfiles

Arch Linux, vim, tmux, ncmpcpp, bspwm, awesome wm

kindle2anki

Add words from Kindle to Anki

thesis

Decision Problems in Invertible Automata

wm

sxkhd + wmutils == a window managing solution

anki

Mostly styling for cards.

blog

A math / tech blog. Made with Pelican.

lockfree-bdd

15-418 Final Project

cdsl.rs

Small crate for emitting C99 code. Makes writing compilers easier.

chinese-final-paper

Woo so close

compilers-website

Course Website for CMU 15-411 F16

coursenode

JS / jQuery take on the course-visualization task

dfaio.github.io

emacs

emacs config

evanbergeron.github.io

A small Jekyll site

evil

An initialiation to the cult of evil.

ex

STLC with existential packages

graphAlgosWikipedia

DFS / BFS on Wikipedia articles

groc

Because apparently I write scripts about groceries now

hotc

Notes on higher-order typed compilation. Probably wrong

lin

a linear lambda calculus

Markov-Text

Randomly generated text from multiple corpora.

no

A companion to yes.

Project-Euler-Solutions

An incomplete collection of my project euler solutions.

pythons-are-values

Turn arbitrary python code into a single expression.

scripts

Little CLI tools made by me for me.

smlnj-calc

SML calc program that runs in Ubuntu 20

try

try

wfp-p4

WFP P4