Fuzz testing for Dafny

A filesystem interface to git repositories

Racket implementation of NAT traversal utilities for opening ports on home routers.

Awesome emacs config files

A module language for programming with multiple named scopes, orthogonal to lexical nesting.

Accelerates your web browsing with Vim power!!

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

Bash-like shell based on Clojure

Vertical keyboard inspired by the Dactyl keyboard

Parameterized ergonomic keyboard

The extensible vi layer for Emacs.

WIP implementation of a Haskell-like Lisp in Racket

Expanded Port of the Vim textobj-anyblock Plugin (to be deprecated in favor of targets.el)

The Racket repository

Mount a directory elsewhere with changed permissions.

An automounter implemented with FUSE

smi2021 v4l2 kernel driver

Mouseless Workflow (WIP)

retire your mouse.

zsh anything.el-like widget.

A lightweight and simple plugin manager for ZSH

Plugins for Emacs Evil.

Recipes and build machinery for the biggest Emacs package repo

All firefox text fields are vim.

Pentadactyl and other related Gecko extensions

firmware for the ergoDOX keyboard