Skip to content

Issues: codedownio/codedown-languages

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

14 Open 55 Closed
14 Open 55 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Nested types should have schema fields, in particular defaultValue
#70 opened Oct 9, 2024 by thomasjm
Make sure kernelspec language is good for every kernel
#69 opened Oct 2, 2024 by thomasjm
cpp: look into new CppInterOp, xeus-cpp packages
#66 opened May 23, 2024 by thomasjm
Octave: possible LSP server?
#57 opened Apr 16, 2024 by thomasjm
Rust: try rust-data-analysis repo rust
#53 opened Nov 25, 2023 by thomasjm
1
Rust: fix flaky kernel test (rand) rust
#49 opened Nov 16, 2023 by thomasjm
3
Try getting back on mainline SymbolServer.jl now that https://github.com/julia-vscode/SymbolServer.jl/issues/269 is landed julia
#46 opened Sep 19, 2023 by thomasjm
Try building static IHaskell binaries and hosting on GitHub closure-size haskell
#41 opened Jul 3, 2023 by thomasjm
Julia LanguageServer: improve startup time julia
#33 opened Apr 24, 2023 by thomasjm
3
Do cpp-notebook-language-server in the same vein as haskell-notebook-language-server cpp
#29 opened Apr 5, 2023 by thomasjm
1
ZSH terminal segfaults
#22 opened Jan 18, 2023 by thomasjm
Add a variable inspector for Bash bash
#15 opened Oct 30, 2022 by thomasjm
Try to get Coq language server coq
#13 opened Sep 19, 2022 by thomasjm
3
Get Postgres language server working postgres
#5 opened Sep 6, 2022 by thomasjm
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.