ammkrn

codespan

Beautiful diagnostic reporting for text-based programming languages.

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

tealdeer

A very fast implementation of tldr in Rust.

spark-joy

✨😂 2000+ ways to add design flair, user delight, and whimsy to your product.

PSone.css

🎮 PS1 style CSS Framework, inspired by NES.css

lean4

Lean 4 programming language and theorem prover

num_enum

procs

A modern replacement for ps written in Rust

shellcheck

ShellCheck, a static analysis tool for shell scripts

hexyl

A command-line hex viewer

logical_verification_2020

Companion files for Logical Verification 2020–2021 at VU Amsterdam

dance

Make your cursors dance with Kakoune-like modal editing in VS Code.

coc-lean

A calculus of constructions in Lean

exa

A modern replacement for ‘ls’.

ytop

A TUI system monitor written in Rust

sauron-native

Truly cross platform, truly native. multiple backend GUI for rust

mm0

Metamath Zero specification language

vim-colors_atelier-schemes

For easy cloning Atelier Schemes for Vim colorschemes, with plugin manager Pathogen or Vundle

lean-links

Links to recourses for the Lean Theorem Prover

real-numbers-course

A course on basic real analysis in Lean

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

ansi-256-colors

256 ansi color codes for sparkling rainbows in the terminal

lean-type-theory

LaTeX code for a paper on lean's type theory

ggpo

Good Game, Peace Out Rollback Network SDK

nushell

A new type of shell

derive_more

Some more derive(Trait) options

trepplein

Lean type-checker written in Scala.

rust-pretty-assertions

Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.

heaptrack

A heap memory profiler for Linux

vscode-lean

Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for the Lean 4 language.