zv-tree

Algorithmically generated trees without base textures.

github

sexpr

An encoding, decoding & utility library for S-expressions in Rust

github

SICP Study Guide

A SICP Study Guide With Exercise Solutions in Guile & Emacs Lisp

github

Conflict Free Computing 2016 Laptop Buyers Guide

A compilation of excellent laptops for developers made by firms with a strong commitment to ethically sourcing minerals used in the manufacture of electronics.

direct

weechat-gateway-replacer

A weechat plugin to integrate Slack or Telegram gateways with the real usernames they transmit

weechat github

z3-mode

After lots of frustration dealing with running SMTLIB2 code myself, I wrote an emacs major mode for SAT, SMT solvers with theorem proof extensions for Z3 from Microsoft Research.

github

ex_translator

A quick-n-dirty tool to translate Erlang to Elixir code

github

9Problems

The best and only tiling window manager for Plan9. You now have absolutely no reason why you shouldn't make Plan9 your main operating system!

github

psdebug

A classic ptrace debugger with a curses GUI.

SHA3inRARVM

RAR archiver files contain a prescriptive compression language intended for compressing long instruction sequences. This is an implementation of SHA3 inside of the RAR archiver's virtual machine.

github

Artifact

Artifact is a distributed, eventually consistent database. Initially written in Erlang and rewritten in Elixir circa the v0.11 release.

github

btcfs

btcfs is a filesystem in userspace for Plan9 that allows you (for a miniscule fee) to treat the blockchain as a just-another-fs.

github

Gravity

An orbital simulation game

github