Julian
Follow
-
satellite.nvim Public
Forked from lewis6991/satellite.nvimDecorate scrollbar for Neovim
Lua MIT License UpdatedMar 7, 2025 -
-
homebrew-tap-1 Public
Forked from bowtie-json-schema/homebrew-tapA homebrew tap for installing Bowtie
Ruby MIT License UpdatedMar 7, 2025 -
-
awesome-bugs Public
A collection of bizarre, funny or obscure bugs in our software and hardware
-
-
Virtue Public
A modern, extensible, unittest-compliant test runner.
-
diff Public
Diff some stuff, find out why it ain't the same.
-
runt.nvim Public
Find corresponding test files given your source file
-
podcasts Public
A crude static site listing podcasts and episodes I like
TypeScript MIT License UpdatedMar 3, 2025 -
lean.nvim Public
Neovim support for the Lean theorem prover
-
-
-
-
Ivoire Public
A simple BDD testing framework for Python
-
-
regret Public
You made a thing, but now you wish it'd go away... Deprecations, a love story.
-
til Public
Joining the TIL bandwagon
-
github-reserved-names Public
A Python port of https://github.com/Mottie/github-reserved-names
-
-
-
-
-
queueboard Public
Forked from jcommelin/queueboardMathlib4 review and triage dashboard
Python Apache License 2.0 UpdatedJan 16, 2025 -
packaging.python.org Public
Forked from pypa/packaging.python.orgPython Packaging User Guide
Python UpdatedJan 14, 2025 -
tree-sitter-lean Public
Experimental tree-sitter parser for the Lean (4) Theorem Prover
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedDec 24, 2024 -
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 UpdatedDec 7, 2024 -
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedNov 29, 2024 -
shapez-community-edition Public
Forked from tobspr-games/shapez-community-editionThe community edition of shapez, maintained by community contributors!