Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

Chủ sở hữu

Julian

Đăng nhập để theo dõi

Đã lập chỉ mục 29 kho mã nguồn · Xem trên GitHub

Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Non-tactic `stop` shouldn't be highlighted in red
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100

    Julian/lean.nvim#564 ·

  • Getting `Vim:E95: Buffer with this name already exists` error with `lean://stderr` buffer
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#562 · 1 bình luận ·

  • Telescope lean_abbreviations fails: abbreviations.load() resolves abbreviations.json relative to its caller
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100

    Julian/lean.nvim#555 ·

  • LSP does not restart on version upgrade
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    Julian/lean.nvim#554 · 7 bình luận ·

  • Upstream workflows
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

    Julian/tree-sitter-lean#27 · 10 bình luận ·

  • Nested `have ... := by` tactic parses with ERROR and consumes following tactic
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    Julian/tree-sitter-lean#18 ·

  • `_binding` C extension not built — `ModuleNotFoundError` on import
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

    Julian/tree-sitter-lean#16 ·

  • ProofWidgets GraphDisplay Not working
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100

    Julian/lean.nvim#524 ·

  • Add a youtube importer and channels list
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/Great#119 ·

  • Enhanced hover duplicates function arguments
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100

    Julian/lean.nvim#519 · 1 reaction ·

  • Infoview popup shows partially instantiated type
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100

    Julian/lean.nvim#517 · 2 bình luận ·

  • Feature request: cancel outdated Lean RPC requests
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#492 · 1 reaction ·

  • Stopping 'leanls' lsp doesn't stop downloading lean toolchain
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    Julian/lean.nvim#482 · 3 bình luận ·

  • Support string gaps, raw strings, etc.
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    Julian/tree-sitter-lean#8 · 4 bình luận ·

  • InfoView updates in Insert Mode interfere with other plugins input handling
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#470 · 1 bình luận ·

  • Don't bind a mapping if the key is already bound
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 38/100

    Julian/lean.nvim#456 ·

  • Severe lag: repeated $/lean/rpc/call request storm in <1s
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    Julian/lean.nvim#442 · 1 bình luận · 4 reaction ·

  • > lean.nvim build failed error when opening NeoVim , using Lazy
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    Julian/lean.nvim#432 · 4 bình luận ·

  • Cursor lagging with Infoview open and fast scrolling
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#409 · 4 bình luận ·

  • Feature request: syntactic highlighting for expressions in the InfoView
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    Julian/lean.nvim#379 · 8 bình luận · 1 reaction ·

  • Split abbreviations into a separate plugin
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#376 · 1 bình luận ·

  • Feature request: Jump to corresponding file and line in trouble.nvim diagnostics
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#359 · 1 bình luận ·

  • Provide option to unbind default <Tab> and <CR> bindings for abbreviation expansion
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#355 · 1 bình luận ·

  • "CalcPanel" is not a supported Lean widget type.
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#352 · 1 bình luận · 2 reaction ·

  • Add support for PEP 702
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 32/100

    Julian/regret#47 ·

  • Visual Indicator for Infoview pause
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/lean.nvim#344 · 1 bình luận ·

  • lean.nvim emits logs on other files to ~/.local/state/nvim.log
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#343 · 2 bình luận ·

  • Add a "standard library" directory for standard definitions
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/schemas#1 · 1 bình luận ·

  • The packaging docs say not to use license
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

    Julian/mkpkg#120 ·

  • Infoview tooltips should render their contents as markdown
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    Julian/lean.nvim#329 · 1 bình luận ·

  • Error in action run
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100

    Julian/named-branch-action#5 · 1 bình luận ·

  • Add some automated tests
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

    Julian/named-branch-action#4 ·

  • Fix setting named branches for PRs sent from forks
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    Julian/named-branch-action#3 ·

  • Add pytest instrumentation
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100

    Julian/diff#7 ·

  • Consider a helper for defining __eq__ in terms of __diff__
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    Julian/diff#4 ·

  • If a CHANGELOG exists, use its contents for the current version in autogenerated github release notes
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100

    Julian/mkpkg#98 ·

  • g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest version
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 Nửa ngày Mức phù hợp với người mới 45/100

    Julian/dotfiles#81 ·

  • Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows
    Đang mở
    • Có gì không ổn?
    enhancement infoview

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    Julian/lean.nvim#315 ·

  • Big initial macOS files
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100

    Julian/Pi#39 ·

  • Support multiple converge files
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    Julian/venvs#115 ·

  • Theoretical Minimum / Susskind Lectures
    Đang mở
    • Có gì không ổn?
    To Read

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 20/100

    Julian/til#188 ·

  • Automate syncing with AntennaPod
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    Julian/podcasts#64 ·

  • Find a setup which syncs with both desktop and Android clients
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    Julian/podcasts#63 ·

  • Combine with YouTube subscriptions?
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 10/100

    Julian/podcasts#62 ·

  • Stress (in the docs) how much more likely it is to want to deprecate callables via attribute access rather than only when called
    Đang mở
    • Có gì không ổn?
    documentation

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

    Julian/regret#36 ·

  • Add an "if you listen to just one episode"
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 25/100

    Julian/podcasts#19 ·

  • Consider showing the number of stash entries in VCS repos in the prompt
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100

    Julian/dotfiles#79 ·

  • Implementation notes
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    Julian/cardboard#1 ·

  • Interactive popups close when entering nested popups
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/lean.nvim#235 · 2 bình luận ·

  • venvs converge should replace venvs atomically
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    Julian/venvs#110 ·

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.