Block or Report
Block or report ianthehenry
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
A list of embedded scripting languages
A simple terminal-based text editor written in Janet. [WIP]
A simple and flexible build tool using Lua, similar to make/mk.
Command-line argument parser for bash 3.2, 4+, and 5+.
An automated practice system for mastering complex skills
A library for building dynamic webapps, using Js_of_ocaml
A command line utility for managing your plan in a single Markdown file.
Minimalistic snapshot testing for Rust.
Postmodern immutable and persistent data structures for C++ β value semantics at scale
[proof-of-concept] fast MP4 mux / demux using WASM
π¦ Record your terminal and generate animated gif images or share a web player
π A modern watch command. Time machine and pager etc.
How do you do that recursive GADT thing again?
automatically quote arguments to commands like `git commit -m`
π Bring your favorite shell wherever you go through the ssh. Xonsh shell, fish, zsh, osquery and so on.