manzyuk

google-translate

Obsolete, see https://github.com/atykhonov/google-translate

groebner

A tiny EDSL for polynomial computations in Haskell

ghci-completion

Completion for GHCi commands in inferior-haskell buffers

ariadne-el

Ariadne plugin for Emacs

TAPL

Haskell implementations of examples from "Types and Programming Languages" by Benjamin C. Pierce

dotfiles

Most valuable pieces of my setup

VL

An aggressively optimizing compiler for the VL language

bert-el

BERT serialization library for Emacs

blog

My WordPress blog backed up by Org-mode

cl-redis

Redis client for Common Lisp

cpdt-exercises

My solutions to exercises for "Certified Programming with Dependent Types" by Adam Chlipala

genius-star

The Genius Star puzzle solver

nuts

Non-Unit Test Suite -- a test library for Common Lisp

rutils

Reasonable Utilities package for Common Lisp

cabal

Official upstream development repository for Cabal and cabal-install

emacs-preamble

My Emacs config

fast-tags

Fork of elaforge/fast-tags that adds Emacs support

metaweblog

an emacs library to access metaweblog based weblogs

org2blog

blog from org-mode to wordpress

sokoban

Sokoban for GNU Emacs ported from XEmacs

talks

tasty

Modern and extensible testing framework for Haskell

twenty-forty-eight

Console clone of the 2048 game (http://gabrielecirulli.github.io/2048/)

twenty-forty-eight-rs

Console clone of the 2048 game (http://gabrielecirulli.github.io/2048/)

user-documentation

Documentation for those that use HHVM and write Hack and PHP code for HHVM.

xml-rpc

An XML-RPC library for Emacs (v1.6.8)