Chris Bailey's starred repositories
shellcheck
ShellCheck, a static analysis tool for shell scripts
logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
sauron-native
Truly cross platform, truly native. multiple backend GUI for rust
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
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
derive_more
Some more derive(Trait) options
rust-pretty-assertions
Overwrite `assert_eq!` with a drop-in replacement, adding a colorful diff.
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.