-
typology Public
Playground for exploring type-level programming.
-
create-ruby-app Public
Scaffolding tool for Ruby applications.
-
majjoha.github.io Public
My personal website and blog.
CSS Creative Commons Attribution 4.0 International UpdatedOct 14, 2025 -
marginalia.nvim Public
Lightweight Neovim plugin for writing and managing notes.
-
vim-marginalia Public archive
Lightweight Vim plugin for writing and managing notes.
-
dotfiles Public
Configuration files for my development environment.
-
Spatial.spoon Public
Minimalist spoon for showing the number of spaces and currently active space on macOS.
Lua ISC License UpdatedMar 9, 2025 -
homebrew-tap Public
Homebrew tap for my personal formulae.
-
voxctl Public
Command-line tool for controlling the VOX music player.
-
simulated-annealing Public
Simulated annealing algorithm for solving the traveling salesman problem.
-
-
sloth Public
A lazy, functional programming language.
-
-
-
stack-templates Public
Stack templates for Haskell projects.
Haskell ISC License UpdatedDec 21, 2020 -
maze-solver Public
Navigate mazes with genetic algorithms.
-
containers Public
A collection of various Docker containers.
Dockerfile ISC License UpdatedJul 18, 2020 -
picostudio Public
Four-track live looper for the Critter & Guitari Organelle.
-
base16-vim Public archive
Forked from chriskempson/base16-vimA base16-vim fork frozen in time.
Vim Script UpdatedNov 24, 2018 -
antidote Public archive
Runtime type assertions for Ruby applications.
Ruby MIT License UpdatedSep 19, 2015 -
dolphy Public archive
A Ruby microframework for web development.
-
writejs Public archive
An elementary demonstration of how local storage works in HTML5.
-
sequencer Public archive
A simple, but brave JavaScript sequencer.
-
clojure-koans Public archive
Forked from functional-koans/clojure-koansA set of exercises for learning Clojure
Clojure UpdatedMay 18, 2014 -
machine Public archive
This repository sets up a machine to my preferred settings.
Shell UpdatedFeb 1, 2014 -
color-converter Public archive
Command line tool for converting colors from RGB to HEX and vice versa.