Proprietário

Julian

Entre para seguir

29 repositórios indexados · Ver no GitHub

lean.nvim
Neovim support for the Lean theorem prover

Lua · 601 estrelas
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 estrelas
Ivoire
A simple BDD testing framework for Python

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

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

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

Python · 27 estrelas
venvs
venvs creates virtualenvs

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

Python · 15 estrelas
til
Joining the TIL bandwagon

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

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

Python · 6 estrelas
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 estrelas
Virtue
A modern, extensible, unittest-compliant test runner.

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

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

Dockerfile · 2 estrelas
Filesystems
A filesystem abstraction layer

Python · 2 estrelas
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 estrela
Stylish
CSS User Styles

CSS · 1 estrela
Pi
Installation and setup for my RPi

Dockerfile · 1 estrela
libraw-cffi
CFFI bindings for LibRaw

Python · 1 estrela
Mais 9 repositórios estão em Ver no GitHub

Para iniciantes Tudo

Abertas Todas

Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data

Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer
Aberta
- Algo errado?
Dificuldade 3/5 Meio dia Facilidade para iniciantes 35/100

Julian/lean.nvim#562 · 1 comentário · Aberta em 9/10/2026
Replace 'cross' glyph (✝️) with 'dagger' (†)
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 66/100

Julian/lean.nvim#560 · 2 comentários · Aberta em 9/10/2026
Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 88/100

Julian/lean.nvim#555 · Aberta em 3/10/2026
LSP does not restart on version upgrade
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

Julian/lean.nvim#554 · 7 comentários · Aberta em 27/9/2026
Upstream workflows
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 58/100

Julian/tree-sitter-lean#27 · 10 comentários · Aberta em 8/9/2026
Nested `have ... := by` tactic parses with ERROR and consumes following tactic
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

Julian/tree-sitter-lean#18 · Aberta em 30/6/2026
`_binding` C extension not built — `ModuleNotFoundError` on import
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100

Julian/tree-sitter-lean#16 · Aberta em 23/6/2026
ProofWidgets GraphDisplay Not working
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 58/100

Julian/lean.nvim#524 · Aberta em 20/6/2026
Add a youtube importer and channels list
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

Julian/Great#119 · Aberta em 30/5/2026
Enhanced hover duplicates function arguments
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100

Julian/lean.nvim#519 · 1 reação · Aberta em 22/5/2026
Infoview popup shows partially instantiated type
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100

Julian/lean.nvim#517 · 2 comentários · Aberta em 18/5/2026
Feature request: cancel outdated Lean RPC requests
Aberta
- Algo errado?
bug

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#492 · 1 reação · Aberta em 24/3/2026
Stopping 'leanls' lsp doesn't stop downloading lean toolchain
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

Julian/lean.nvim#482 · 3 comentários · Aberta em 9/3/2026
Support string gaps, raw strings, etc.
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

Julian/tree-sitter-lean#8 · 4 comentários · Aberta em 13/1/2026
InfoView updates in Insert Mode interfere with other plugins input handling
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#470 · 1 comentário · Aberta em 13/1/2026
Don't bind a mapping if the key is already bound
Aberta
- Algo errado?
bug

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 38/100

Julian/lean.nvim#456 · Aberta em 30/11/2025
Severe lag: repeated $/lean/rpc/call request storm in <1s
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100

Julian/lean.nvim#442 · 1 comentário · 4 reações · Aberta em 16/10/2025
> lean.nvim build failed error when opening NeoVim , using Lazy
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100

Julian/lean.nvim#432 · 4 comentários · Aberta em 3/10/2025
Cursor lagging with Infoview open and fast scrolling
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#409 · 4 comentários · Aberta em 23/7/2025
Feature request: syntactic highlighting for expressions in the InfoView
Aberta
- Algo errado?
enhancement

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

Julian/lean.nvim#379 · 8 comentários · 1 reação · Aberta em 26/2/2025
Split abbreviations into a separate plugin
Aberta
- Algo errado?
enhancement

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

Julian/lean.nvim#376 · 1 comentário · Aberta em 21/1/2025
Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
Aberta
- Algo errado?
enhancement

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#359 · 1 comentário · Aberta em 27/10/2024
Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
Aberta
- Algo errado?
enhancement

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#355 · 1 comentário · Aberta em 3/10/2024
"CalcPanel" is not a supported Lean widget type.
Aberta
- Algo errado?
enhancement

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#352 · 1 comentário · 2 reações · Aberta em 29/8/2024
Add support for PEP 702
Aberta
- Algo errado?
enhancement

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 32/100

Julian/regret#47 · Aberta em 7/8/2024
Visual Indicator for Infoview pause
Aberta
- Algo errado?
enhancement

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

Julian/lean.nvim#344 · 1 comentário · Aberta em 5/7/2024
lean.nvim emits logs on other files to ~/.local/state/nvim.log
Aberta
- Algo errado?
bug

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#343 · 2 comentários · Aberta em 4/7/2024
Add a "standard library" directory for standard definitions
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

Julian/schemas#1 · 1 comentário · Aberta em 3/4/2024
The packaging docs say not to use license
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100

Julian/mkpkg#120 · Aberta em 21/2/2024
Infoview tooltips should render their contents as markdown
Aberta
- Algo errado?
bug

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 45/100

Julian/lean.nvim#329 · 1 comentário · Aberta em 14/1/2024
Error in action run
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 20/100

Julian/named-branch-action#5 · 1 comentário · Aberta em 9/1/2024
Add some automated tests
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100

Julian/named-branch-action#4 · Aberta em 6/1/2024
Fix setting named branches for PRs sent from forks
Aberta
- Algo errado?
enhancement

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

Julian/named-branch-action#3 · Aberta em 6/1/2024
Add pytest instrumentation
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100

Julian/diff#7 · Aberta em 25/12/2023
Consider a helper for defining __eq__ in terms of __diff__
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100

Julian/diff#4 · Aberta em 14/12/2023
If a CHANGELOG exists, use its contents for the current version in autogenerated github release notes
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 25/100

Julian/mkpkg#98 · Aberta em 16/11/2023
g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest version
Aberta
- Algo errado?
Dificuldade 2/5 Meio dia Facilidade para iniciantes 45/100

Julian/dotfiles#81 · Aberta em 14/11/2023
Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
Aberta
- Algo errado?
enhancement infoview

Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100

Julian/lean.nvim#315 · Aberta em 5/11/2023
Big initial macOS files
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 25/100

Julian/Pi#39 · Aberta em 1/10/2023
Support multiple converge files
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

Julian/venvs#115 · Aberta em 29/9/2023
Theoretical Minimum / Susskind Lectures
Aberta
- Algo errado?
To Read

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 20/100

Julian/til#188 · Aberta em 17/8/2023
Automate syncing with AntennaPod
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

Julian/podcasts#64 · Aberta em 7/7/2023
Find a setup which syncs with both desktop and Android clients
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100

Julian/podcasts#63 · Aberta em 7/7/2023
Combine with YouTube subscriptions?
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 10/100

Julian/podcasts#62 · Aberta em 7/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
Aberta
- Algo errado?
documentation

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100

Julian/regret#36 · Aberta em 6/6/2023
Add an "if you listen to just one episode"
Aberta
- Algo errado?
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 25/100

Julian/podcasts#19 · Aberta em 24/2/2023
Consider showing the number of stash entries in VCS repos in the prompt
Aberta
- Algo errado?
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 25/100

Julian/dotfiles#79 · Aberta em 6/1/2023
Implementation notes
Aberta
- Algo errado?
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100

Julian/cardboard#1 · Aberta em 29/11/2022
Interactive popups close when entering nested popups
Aberta
- Algo errado?
bug

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

Julian/lean.nvim#235 · 2 comentários · Aberta em 14/2/2022
venvs converge should replace venvs atomically
Aberta
- Algo errado?
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100

Julian/venvs#110 · Aberta em 30/1/2022

Mostrando os 100 mais recentes

Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.

Abrir o filtro avançado

Julian

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Algo errado?

Mostrando os 100 mais recentes

Receba novas issues na sua caixa de entrada