alok

haskellBook

127-proj-2

alfred-dropbox

Access multiple Dropbox accounts with Alfred

amphetype

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

arXivScrape

backus-dijkstra-letters-1979

Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/this-guys-arrogance-takes-your-breath-away-5b903624ca5f#.j6x6ppjc8 https://news.ycombinator.com/item?id=11796557

checker

an attempt at making a prototype proof checker for experimental purposes

cs9e

CS 9E homework

dotfiles-1

Once again, dotfiles!

fzf-filemru

File MRU with fzf.vim

hw5

machine-learning-hw-4

my-dotfiles

some config files I have

myNvim

:bento: Script to create a portable bundle of Vim environment

neovim-1

Vim-fork focused on extensibility and agility. Consider helping sustain Neovim development!

notes

various notes

nvim-parinfer.js

neovim plugin for parinfer

OrdAll

proveIt

Hopefully the beginnings of a useful proof assistant

pybrl

Braille (6-dot cell patterns) notation and conversion library for Python

reinforcement-learning

srclib-haskell

tiddlylisp-1

A toy Lisp interpreter and simple eval function

vim-checklist

Easily create and manipulate plain-text checklists

vim-choosewin

Land on window you chose like tmux's 'display-pane'

vim-ocaml-conceal

ocaml.vim - vim conceal enhanvement for ocaml

vim-run

vim-slime

A vim plugin to give you some slime. (Emacs)

vimium

The hacker's browser.

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)