GitHub / codedownio/codedown-languages issues and pull requests
#73 - restrict-eval = true
Pull Request -
State: closed - Opened by thomasjm 3 months ago
#72 - Run all codedown-languages tests with restrict-eval=true
Issue -
State: closed - Opened by thomasjm 3 months ago
- 1 comment
#71 - Be able to build HNLS on aarch64-darwin
Issue -
State: open - Opened by thomasjm 9 months ago
#70 - Nested types should have schema fields, in particular `defaultValue`
Issue -
State: open - Opened by thomasjm 10 months ago
#69 - Make sure kernelspec language is good for every kernel
Issue -
State: open - Opened by thomasjm 10 months ago
#68 - Get on latest iruby
Issue -
State: closed - Opened by thomasjm about 1 year ago
#67 - Fix Julia 1.10 withPackages
Issue -
State: closed - Opened by thomasjm about 1 year ago
- 2 comments
#66 - cpp: look into new CppInterOp, xeus-cpp packages
Issue -
State: open - Opened by thomasjm about 1 year ago
#65 - HNLS: make IO loop more efficient
Issue -
State: closed - Opened by thomasjm about 1 year ago
- 1 comment
#64 - GHC 9.8 test hangs (parse error apparently?)
Issue -
State: closed - Opened by thomasjm about 1 year ago
- 1 comment
#63 - Make R kernel tests run under bwrap
Issue -
State: closed - Opened by thomasjm about 1 year ago
#62 - Run LSP evaluations in bwrap for isolation/reproducibility
Issue -
State: closed - Opened by thomasjm about 1 year ago
- 1 comment
#61 - Run kernel evaluations in bwrap for isolation/reproducibility
Issue -
State: closed - Opened by thomasjm about 1 year ago
- 1 comment
#60 - Run kernel evaluations in bwrap for isolation/reproducibility
Issue -
State: closed - Opened by thomasjm about 1 year ago
#59 - HLS: not working after update to 2.7.0.0
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 1 comment
#58 - bash_kernel 0.9.1 breaks prompts
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 1 comment
#57 - Octave: possible LSP server?
Issue -
State: open - Opened by thomasjm over 1 year ago
#56 - Screenshotter takes a write lock or something, if it hangs it interferes with other sandbox loads
Issue -
State: closed - Opened by thomasjm over 1 year ago
#55 - Build jupyter runner once
Pull Request -
State: closed - Opened by thomasjm over 1 year ago
#54 - Rust: current RNLS has a problem with lacking semicolons
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 2 comments
Labels: rust
#53 - Rust: try rust-data-analysis repo
Issue -
State: open - Opened by thomasjm over 1 year ago
- 1 comment
Labels: rust
#52 - Kernel display names shouldn't contain version
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 1 comment
#51 - Haskell: Fix GHC 9.6 kernel tests
Issue -
State: closed - Opened by thomasjm over 1 year ago
Labels: haskell
#50 - Rust: fix flaky LSP tests
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 1 comment
#49 - Rust: fix flaky kernel test (rand)
Issue -
State: open - Opened by thomasjm over 1 year ago
- 3 comments
Labels: rust
#48 - Get Julia packages PR into review
Issue -
State: closed - Opened by thomasjm over 1 year ago
- 2 comments
Labels: julia
#47 - Julia 1.9: fix issues with weak dependencies
Issue -
State: closed - Opened by thomasjm almost 2 years ago
#46 - Try getting back on mainline SymbolServer.jl now that https://github.com/julia-vscode/SymbolServer.jl/issues/269 is landed
Issue -
State: open - Opened by thomasjm almost 2 years ago
Labels: julia
#45 - Rust: be able to enable features like "derive" on serde
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 2 comments
Labels: rust
#44 - Get Python 3.8 test passing, or remove it as a language
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 1 comment
#43 - Try using codedownio fork of IHaskell to get improved :i display
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 1 comment
#42 - Fix Rust completion of println!
Issue -
State: closed - Opened by thomasjm about 2 years ago
#41 - Try building static IHaskell binaries and hosting on GitHub
Issue -
State: open - Opened by thomasjm about 2 years ago
Labels: closure-size, haskell
#40 - Be able to build static RNLS
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 1 comment
#39 - Be able to build static HNLS
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 1 comment
#38 - Be able to print out a closure size report for a selection of common environments
Issue -
State: closed - Opened by thomasjm about 2 years ago
#37 - Get Julia 1.9 packages working
Issue -
State: closed - Opened by thomasjm about 2 years ago
- 1 comment
#36 - Make sure local path works for Nix channel
Issue -
State: closed - Opened by thomasjm about 2 years ago
#35 - Rust: packages
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#34 - Julia depots: do per-package precompilation
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#33 - Julia LanguageServer: improve startup time
Issue -
State: open - Opened by thomasjm over 2 years ago
- 3 comments
Labels: julia
#32 - Julia LanguageServer should know about packages
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#31 - Figure out why papermill doesn't seem to respect kernelspec env field
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 2 comments
#30 - Do rust-notebook-language-server in the same vein as haskell-notebook-language-server
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 2 comments
#29 - Do cpp-notebook-language-server in the same vein as haskell-notebook-language-server
Issue -
State: open - Opened by thomasjm over 2 years ago
- 1 comment
Labels: cpp
#28 - HNLS: handle top-level statements (like a <- foo)
Issue -
State: closed - Opened by thomasjm over 2 years ago
#27 - HNLS: improve concurrency, it currently gets backed up while typing
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
Labels: haskell
#26 - Shrink closure of markdown-spellcheck-lsp
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 3 comments
#25 - Haskell: don't expressionify top-level TH splices in HNLS
Issue -
State: closed - Opened by thomasjm over 2 years ago
#24 - Haskell: untransform positions in diagnostic notifications
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#23 - Haskell: turn :set -XTemplateHaskell into {-# LANGUAGE TemplateHaskell #-}
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#22 - ZSH terminal segfaults
Issue -
State: open - Opened by thomasjm over 2 years ago
#21 - Be able to install and use Coq packages
Issue -
State: closed - Opened by thomasjm over 2 years ago
#20 - Get Julia language server working
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 1 comment
#19 - Fix pyright language server
Issue -
State: closed - Opened by thomasjm over 2 years ago
#18 - Fix rust-analyzer test
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 2 comments
#17 - Get Julia packages working
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 2 comments
#16 - Get clojure-lsp working
Issue -
State: closed - Opened by thomasjm over 2 years ago
- 2 comments
#15 - Add a variable inspector for Bash
Issue -
State: open - Opened by thomasjm over 2 years ago
Labels: bash
#14 - Add test that shellcheck integration is working for bash-language-server
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#13 - Try to get Coq language server
Issue -
State: open - Opened by thomasjm almost 3 years ago
- 3 comments
Labels: coq
#12 - Add Coq mode to frontend
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#11 - HLS: Search for regexes like "Defined at /home/main.ipynb:20:1" and transform them in hovers
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#10 - Add Coq kernel
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#9 - Disable hlint warnings in IHaskell (since they'll come from HLS now)
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#8 - Get GHC 9.2 working
Issue -
State: closed - Opened by thomasjm almost 3 years ago
- 2 comments
#7 - Fix C++ kernel
Issue -
State: closed - Opened by thomasjm almost 3 years ago
- 3 comments
#6 - Get Go language server working
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#5 - Get Postgres language server working
Issue -
State: open - Opened by thomasjm almost 3 years ago
- 1 comment
Labels: postgres
#4 - Investigate adding Julia packages to Nixpkgs
Issue -
State: closed - Opened by thomasjm almost 3 years ago
- 1 comment
#3 - Get Julia kernel test working
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#2 - Fix Ruby kernel test
Issue -
State: closed - Opened by thomasjm almost 3 years ago
#1 - Fix Rust jupyter kernel test (can't find Cargo metadata when we use a temp HOME)
Issue -
State: closed - Opened by thomasjm almost 3 years ago