phenguin Goto Github PK

.emacs.d

Emacs for the stubborn martian vimmer

6828class

work for operating systems class

6858

6858 web server code

chordal

Chords, scales, voice leading, etc for jazz guitar

chordal-rust

Rust version of originally haskell chordal/hasmt

class

files for class

decaf-compiler

Compiler implemented for 6.035 class.

dfk

Interact with the contracts of DefiKingdoms

doom-emacs-private

My personal configuration for Doom Emacs

emacs

Mirror of GNU Emacs

gameai

Simple AI for connect-four to help with learning rust.

gmail-tools

Gmail bulk operations via the UI kind of don't work, and I had a need to do some huge bulk operations so I made this.

gmail-yaml-filters

A quick tool for generating Gmail filters from YAML rules.

gmailctl

Declarative configuration for Gmail filters

gmailfilters

haskell-type-display

emacs mode to display all types of expressions containing the point

hasmt

Haskell music theory library

hmm_deobfuscate

HMM based email deobfuscation for 6.867

hue

Playing around with ASTs and version control in rust.

jetpack-scaffold

Jetpack project initialization stuff

js-scheme

Messing with writing a basic scheme interpreter in javascript

lexicon

playing around with PL semantics / type systems / some other stuff

lieer

Fast email-fetching and sending and two-way tag synchronization between notmuch and GMail

ml

Random machine learning things..

nixconfig

Nixos configuration files and stuff

nixpkgs

Nix Packages collection

nixutils

Some utility Nix stuff to make setting dev environments easier

noahsan

bow to your sensei

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

pass-store

encrypted passwords for me