Owner

Julian

29 indexed repositories · View on GitHub

lean.nvim
Neovim support for the Lean theorem prover

Lua · 601 stars
vim-textobj-variable-segment
A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

Vim Script · 160 stars
Ivoire
A simple BDD testing framework for Python

Python · 64 stars
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover

JavaScript · 59 stars
dotfiles
A work in progress. Forever.

Perl · 54 stars
Seep
A transformation and data extraction language on top of JSON Schema

Python · 27 stars
venvs
venvs creates virtualenvs

Rust · 20 stars
regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.

Python · 15 stars
til
Joining the TIL bandwagon

CSS · 8 stars
cardboard
Cardboard is a Magic: The Gathering game engine written in Python.

Python · 7 stars
Minion
A microframework based on evil intentions and whatever else you've got

Python · 6 stars
lean-across-the-board
An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.

Lean · 3 stars
Virtue
A modern, extensible, unittest-compliant test runner.

Python · 3 stars
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format

Python · 2 stars
named-branch-action
hg-style named branches via a GitHub action

Dockerfile · 2 stars
Filesystems
A filesystem abstraction layer

Python · 2 stars
Condent
A quick hack I threw together to reindent and respace containers the way I like them (e.g. for equalprg in Vim)

Python · 1 star
Stylish
CSS User Styles

CSS · 1 star
Pi
Installation and setup for my RPi

Dockerfile · 1 star
libraw-cffi
CFFI bindings for LibRaw

Python · 1 star
9 more repositories live on View on GitHub

Beginner friendly Everything

Open All

Issues somebody may already be working on are listed last. List everything by date

Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer
Open
- Is something wrong?
Difficulty 3/5 Half a day Newbie friendliness 35/100

Julian/lean.nvim#562 · 1 comment · Opened Oct 9, 2026
Replace 'cross' glyph (✝️) with 'dagger' (†)
Open
- Is something wrong?
Difficulty 2/5 1-3 hours Newbie friendliness 66/100

Julian/lean.nvim#560 · 2 comments · Opened Oct 9, 2026
Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
Open
- Is something wrong?
Difficulty 2/5 1-3 hours Newbie friendliness 88/100

Julian/lean.nvim#555 · Opened Oct 3, 2026
LSP does not restart on version upgrade
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 48/100

Julian/lean.nvim#554 · 7 comments · Opened Sep 27, 2026
Upstream workflows
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 58/100

Julian/tree-sitter-lean#27 · 10 comments · Opened Sep 8, 2026
Nested `have ... := by` tactic parses with ERROR and consumes following tactic
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 48/100

Julian/tree-sitter-lean#18 · Opened Jun 30, 2026
`_binding` C extension not built — `ModuleNotFoundError` on import
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 68/100

Julian/tree-sitter-lean#16 · Opened Jun 23, 2026
ProofWidgets GraphDisplay Not working
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 58/100

Julian/lean.nvim#524 · Opened Jun 20, 2026
Add a youtube importer and channels list
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 25/100

Julian/Great#119 · Opened May 30, 2026
Enhanced hover duplicates function arguments
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 68/100

Julian/lean.nvim#519 · 1 reaction · Opened May 22, 2026
Infoview popup shows partially instantiated type
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 48/100

Julian/lean.nvim#517 · 2 comments · Opened May 18, 2026
Feature request: cancel outdated Lean RPC requests
Open
- Is something wrong?
bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

Julian/lean.nvim#492 · 1 reaction · Opened Mar 24, 2026
Stopping 'leanls' lsp doesn't stop downloading lean toolchain
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 45/100

Julian/lean.nvim#482 · 3 comments · Opened Mar 9, 2026
Support string gaps, raw strings, etc.
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 25/100

Julian/tree-sitter-lean#8 · 4 comments · Opened Jan 13, 2026
InfoView updates in Insert Mode interfere with other plugins input handling
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 35/100

Julian/lean.nvim#470 · 1 comment · Opened Jan 13, 2026
Don't bind a mapping if the key is already bound
Open
- Is something wrong?
bug

Difficulty 3/5 1-2 days Newbie friendliness 38/100

Julian/lean.nvim#456 · Opened Nov 30, 2025
Severe lag: repeated $/lean/rpc/call request storm in <1s
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 42/100

Julian/lean.nvim#442 · 1 comment · 4 reactions · Opened Oct 16, 2025
> lean.nvim build failed error when opening NeoVim , using Lazy
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 25/100

Julian/lean.nvim#432 · 4 comments · Opened Oct 3, 2025
Cursor lagging with Infoview open and fast scrolling
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 35/100

Julian/lean.nvim#409 · 4 comments · Opened Jul 23, 2025
Feature request: syntactic highlighting for expressions in the InfoView
Open
- Is something wrong?
enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

Julian/lean.nvim#379 · 8 comments · 1 reaction · Opened Feb 26, 2025
Split abbreviations into a separate plugin
Open
- Is something wrong?
enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

Julian/lean.nvim#376 · 1 comment · Opened Jan 21, 2025
Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
Open
- Is something wrong?
enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

Julian/lean.nvim#359 · 1 comment · Opened Oct 27, 2024
Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
Open
- Is something wrong?
enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

Julian/lean.nvim#355 · 1 comment · Opened Oct 3, 2024
"CalcPanel" is not a supported Lean widget type.
Open
- Is something wrong?
enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

Julian/lean.nvim#352 · 1 comment · 2 reactions · Opened Aug 29, 2024
Add support for PEP 702
Open
- Is something wrong?
enhancement

Difficulty 4/5 3-5 days Newbie friendliness 32/100

Julian/regret#47 · Opened Aug 7, 2024
Visual Indicator for Infoview pause
Open
- Is something wrong?
enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

Julian/lean.nvim#344 · 1 comment · Opened Jul 5, 2024
lean.nvim emits logs on other files to ~/.local/state/nvim.log
Open
- Is something wrong?
bug

Difficulty 3/5 1-2 days Newbie friendliness 35/100

Julian/lean.nvim#343 · 2 comments · Opened Jul 4, 2024
Add a "standard library" directory for standard definitions
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 25/100

Julian/schemas#1 · 1 comment · Opened Apr 3, 2024
The packaging docs say not to use license
Open
- Is something wrong?
Difficulty 2/5 1-3 hours Newbie friendliness 35/100

Julian/mkpkg#120 · Opened Feb 21, 2024
Infoview tooltips should render their contents as markdown
Open
- Is something wrong?
bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

Julian/lean.nvim#329 · 1 comment · Opened Jan 14, 2024
Error in action run
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 20/100

Julian/named-branch-action#5 · 1 comment · Opened Jan 9, 2024
Add some automated tests
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 30/100

Julian/named-branch-action#4 · Opened Jan 6, 2024
Fix setting named branches for PRs sent from forks
Open
- Is something wrong?
enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

Julian/named-branch-action#3 · Opened Jan 6, 2024
Add pytest instrumentation
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 30/100

Julian/diff#7 · Opened Dec 25, 2023
Consider a helper for defining __eq__ in terms of __diff__
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 25/100

Julian/diff#4 · Opened Dec 14, 2023
If a CHANGELOG exists, use its contents for the current version in autogenerated github release notes
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 25/100

Julian/mkpkg#98 · Opened Nov 16, 2023
g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest version
Open
- Is something wrong?
Difficulty 2/5 Half a day Newbie friendliness 45/100

Julian/dotfiles#81 · Opened Nov 14, 2023
Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
Open
- Is something wrong?
enhancement infoview

Difficulty 5/5 Over a week Newbie friendliness 35/100

Julian/lean.nvim#315 · Opened Nov 5, 2023
Big initial macOS files
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 25/100

Julian/Pi#39 · Opened Oct 1, 2023
Support multiple converge files
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

Julian/venvs#115 · Opened Sep 29, 2023
Theoretical Minimum / Susskind Lectures
Open
- Is something wrong?
To Read

Difficulty 3/5 1-2 days Newbie friendliness 20/100

Julian/til#188 · Opened Aug 17, 2023
Automate syncing with AntennaPod
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

Julian/podcasts#64 · Opened Jul 7, 2023
Find a setup which syncs with both desktop and Android clients
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 15/100

Julian/podcasts#63 · Opened Jul 7, 2023
Combine with YouTube subscriptions?
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 10/100

Julian/podcasts#62 · Opened Jul 7, 2023
Stress (in the docs) how much more likely it is to want to deprecate callables via attribute access rather than only when called
Open
- Is something wrong?
documentation

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

Julian/regret#36 · Opened Jun 6, 2023
Add an "if you listen to just one episode"
Open
- Is something wrong?
Difficulty 2/5 1-3 hours Newbie friendliness 25/100

Julian/podcasts#19 · Opened Feb 24, 2023
Consider showing the number of stash entries in VCS repos in the prompt
Open
- Is something wrong?
Difficulty 3/5 1-2 days Newbie friendliness 25/100

Julian/dotfiles#79 · Opened Jan 6, 2023
Implementation notes
Open
- Is something wrong?
Difficulty 5/5 Over a week Newbie friendliness 20/100

Julian/cardboard#1 · Opened Nov 29, 2022
Interactive popups close when entering nested popups
Open
- Is something wrong?
bug

Difficulty 4/5 3-5 days Newbie friendliness 35/100

Julian/lean.nvim#235 · 2 comments · Opened Feb 14, 2022
venvs converge should replace venvs atomically
Open
- Is something wrong?
Difficulty 4/5 3-5 days Newbie friendliness 35/100

Julian/venvs#110 · Opened Jan 30, 2022

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

Julian

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Is something wrong?

Showing the newest 100

Get new issues in your inbox