🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Extremely fast Query Engine for DataFrames, written in Rust

💀 The former home of Homebrew/homebrew (deprecated)

The Ruby Programming Language

Fish shell like syntax highlighting for Zsh.

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Automatic tiling window manager for macOS à la xmonad.

pathogen.vim: manage your runtimepath

The Roundcube Webmail suite

emmet for vim: http://emmet.io/

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Lightweight automation and productivity app for OS X

Emacs incremental completion and selection narrowing framework

A Dependently Typed Functional Programming Language

A modern commutative diagram editor for the web.

The extensible chat client.

Recipes and build machinery for the biggest Emacs package repo

Emacs X Window Manager

jack2 codebase

Next generation Vim package manager

The lightweight Arch Linux based distro that runs, without root privileges, on top of any other Linux distro.

A textbook on informal homotopy type theory

Jump to things in Emacs tree-style

The Haskell-Scriptable Editor

Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a compl…

A Coq library for Homotopy Type Theory

Project management tool for Emacs

A statically-typed, functional typesetting system

Vimperator

ChucK Music Programming Language