⚡️ Znap! Fast, easy-to-use tools for Zsh dotfiles & plugins, plus git repos

Jarvis.sh is a simple configurable multi-lang assistant.

screencasts of windows with list of keystrokes overlayed

Command line binaries for the TLA+ language

Get things from one computer to another, safely. Over IPFS (which not even required to receive those things).

Add zsh's missing hooks, and support for user-defined hooks

Python NativeClient Sandbox

🚀 Informative and fast ZSH prompt with git status. Works well with HUGE repositories. Show username, hostname, path, git branch and status.

Example of clingo usage on website as a client-side JS program

A Plugin to Oh My Zsh Framework

Install clingo along clyngor

dotfiles for vim, git, et cetera