Issues

• Switch julia.withPackages to Git hashing

  codedownio/codedown-languages#113 · Filter by author thomasjm opened on Sep 29, 2026

• aarch64-linux sample environments can't build under QEMU

  codedownio/codedown-languages#96 · Filter by author thomasjm opened on Jun 3, 2026

• solargraph: occasionally gets stuck (or fails to start up?)

  codedownio/codedown-languages#92 · Filter by author thomasjm opened on Jan 26, 2026

• Nested types should have schema fields, in particular defaultValue

  codedownio/codedown-languages#70 · Filter by author thomasjm opened on Oct 9, 2024

• Make sure kernelspec language is good for every kernel

  codedownio/codedown-languages#69 · Filter by author thomasjm opened on Oct 2, 2024

• cpp: look into new CppInterOp, xeus-cpp packages

  codedownio/codedown-languages#66 · Filter by author thomasjm opened on May 23, 2024

• Octave: possible LSP server?

  codedownio/codedown-languages#57 · Filter by author thomasjm opened on Apr 16, 2024

• Rust: try rust-data-analysis repo

  rust
  codedownio/codedown-languages#53 · Filter by author thomasjm opened on Nov 25, 2023
  1

• Rust: fix flaky kernel test (rand)

  rust
  codedownio/codedown-languages#49 · Filter by author thomasjm opened on Nov 16, 2023
  3

• Try building semi-static IHaskell binaries and hosting on GitHub

  closure-sizehaskell
  codedownio/codedown-languages#41 · Filter by author thomasjm opened on Jul 3, 2023

• ZSH terminal segfaults

  codedownio/codedown-languages#22 · Filter by author thomasjm opened on Jan 18, 2023

• Add a variable inspector for Bash

  bash
  codedownio/codedown-languages#15 · Filter by author thomasjm opened on Oct 30, 2022

• Try to get Coq language server

  coq
  codedownio/codedown-languages#13 · Filter by author thomasjm opened on Sep 19, 2022
  4

• Get Postgres language server working

  postgres
  codedownio/codedown-languages#5 · Filter by author thomasjm opened on Sep 6, 2022
  1