manzyuk Goto Github PK

ariadne-el

Ariadne plugin for Emacs

bert-el

BERT serialization library for Emacs

blog

My WordPress blog backed up by Org-mode

cabal

Official upstream development repository for Cabal and cabal-install

cl-redis

Redis client for Common Lisp

cpdt-exercises

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

dotfiles

Most valuable pieces of my setup

emacs-preamble

My Emacs config

fast-tags

Fork of elaforge/fast-tags that adds Emacs support

genius-star

The Genius Star puzzle solver

ghci-completion

Completion for GHCi commands in inferior-haskell buffers

google-translate

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

groebner

A tiny EDSL for polynomial computations in Haskell

metaweblog

an emacs library to access metaweblog based weblogs

nuts

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

org2blog

blog from org-mode to wordpress

rutils

Reasonable Utilities package for Common Lisp

sokoban

Sokoban for GNU Emacs ported from XEmacs

talks

tapl

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

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.

vl

An aggressively optimizing compiler for the VL language

xml-rpc

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