Neovim support for the Lean theorem prover

Fast Open-Source Search & Clustering engine × for Vectors & Arbitrary Objects × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍

Aporetic fonts are a custom build of Iosevka with different style and metrics than the default. This is the successor to my "Iosevka Comfy" fonts.

A language server for Standard ML.

Writeroom-mode: distraction-free writing for Emacs.

A markup-based typesetting system that is powerful and easy to learn.

A dark charcoal theme for modern Neovim & classic Vim

Master programming by recreating your favorite technologies from scratch.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Collection of Vim themes with barely any colors

Curated list of fonts and everything

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

A collection of learning resources for curious software engineers

vinegar.vim: Combine with netrw to create a delicious salad dressing

🌷 Distraction-free writing in Vim

A collection of modern/faster/saner alternatives to common unix commands.

A literate programming tool for any language

A powerful grammar checker for Vim using LanguageTool.

VimR — Neovim GUI for macOS in Swift

fugitive.vim: A Git wrapper so awesome, it should be illegal

A bazel toolchain for using prebuilt binaries for buildifier and buildozer

A modern commutative diagram editor for the web.

CBOR utilities

An Emacs major mode for editing in pollen markup language

A curated list of data oriented design resources.

The Update Framework specification

A modern Prolog implementation written mostly in Rust.

A simple Wolfram Language clone in Haskell

[toy] A rewriting language similar to the core of Mathematica

A Git annex repository of papers