-
lean.nvim Public
Neovim support for the Lean theorem prover
-
-
podcasts Public
A crude static site listing podcasts and episodes I like
TypeScript MIT License UpdatedNov 18, 2024 -
-
-
homebrew-tap-1 Public
Forked from bowtie-json-schema/homebrew-tapA homebrew tap for installing Bowtie
Ruby MIT License UpdatedNov 14, 2024 -
Virtue Public
A modern, extensible, unittest-compliant test runner.
-
diff Public
Diff some stuff, find out why it ain't the same.
-
-
github-reserved-names Public
A Python port of https://github.com/Mottie/github-reserved-names
-
regret Public
You made a thing, but now you wish it'd go away... Deprecations, a love story.
-
zizmor Public
Forked from woodruffw/zizmorA tool for finding security issues in GitHub Actions setups.
Rust MIT License UpdatedNov 8, 2024 -
runt.nvim Public
Find corresponding test files given your source file
-
-
just Public
Forked from casey/just🤖 Just a command runner
Rust Creative Commons Zero v1.0 Universal UpdatedNov 6, 2024 -
-
photography Public
Forked from studioprisoner/photo-streamTrying to satisfy my photography hobby. Wanderlust included.
-
-
-
inanis.nvim Public
Forked from nvim-lua/plenary.nviminanis: empty; void; foolish; worthless. Just the testing bits of lua functions someone didn't want to write twice.
Lua MIT License UpdatedOct 18, 2024 -
-
-
-
-
-
-
-
awesome-bugs Public
A collection of bizarre, funny or obscure bugs in our software and hardware
-
til Public
Joining the TIL bandwagon
-
lean-across-the-board Public
An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.
{{ message }}