Pinned Repositories
awesome-bugs
A collection of bizarre, funny or obscure bugs in our software and hardware
dotfiles
A work in progress. Forever.
Ivoire
A simple BDD testing framework for Python
lean.nvim
Neovim support for the Lean theorem prover
Seep
A transformation and data extraction language on top of JSON Schema
til
Joining the TIL bandwagon
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
venvs
venvs creates virtualenvs
vim-textobj-variable-segment
A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes
jsonschema
An implementation of the JSON Schema specification for Python
Julian's Repositories
Julian/lean.nvim
Neovim support for the Lean theorem prover
Julian/Ivoire
A simple BDD testing framework for Python
Julian/dotfiles
A work in progress. Forever.
Julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Julian/venvs
venvs creates virtualenvs
Julian/avif
Python (CFFI) bindings for libavif
Julian/regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Julian/til
Joining the TIL bandwagon
Julian/Virtue
A modern, extensible, unittest-compliant test runner.
Julian/Filesystems
A filesystem abstraction layer
Julian/Movies
Movie lists
Julian/diff
Diff some stuff, find out why it ain't the same.
Julian/Great
A ratings aggregator
Julian/people-I-mostly-admire
Julian/shapez-community-edition
The community edition of shapez, maintained by community contributors!
Julian/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Julian/blog
Oh boy, let's see if this goes anywhere.
Julian/carleson
A formalized proof of Carleson's theorem in Lean
Julian/github-reserved-names
A Python port of https://github.com/Mottie/github-reserved-names
Julian/homebrew-lean
Julian/homebrew-tap-1
A homebrew tap for installing Bowtie
Julian/inanis.nvim
inanis: empty; void; foolish; worthless. Just the testing bits of lua functions someone didn't want to write twice.
Julian/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Julian/mkpkg
Create new Python packages... hooray!
Julian/packaging.python.org
Python Packaging User Guide
Julian/Playlists
Music playlists
Julian/podcasts
A crude static site listing podcasts and episodes I like
Julian/queueboard
Mathlib4 review and triage dashboard
Julian/satellite.nvim
Decorate scrollbar for Neovim
Julian/zizmor
A tool for finding security issues in GitHub Actions setups.