Package for comparing Go values in tests

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

Repository for the book "Crafting Interpreters"

Spotify for the terminal written in Rust 🚀

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

macOS system monitor in your menu bar

Elixir plugin for JetBrain's IntelliJ Platform (including Rubymine)

Imports a `.zsh_history` file into a https://github.com/larkery/zsh-histdb sqlite database.

A slightly better history for zsh

Completion back-ends for for math unicode symbols and latex tags

implementation of the first order logic unification algorithm in Haskell

opinionated typing library for elixir

Compile Elixir statically

Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.

Multitouch gestures with libinput driver on Linux

A Coq IDE build on top of Proof General's Coq mode