Search results

aarch64-linux sample environments can't build under QEMU

Status: Open.

#96 In codedownio/codedown-languages;

· thomasjm opened on Jun 3, 2026

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

Status: Open.

#92 In codedownio/codedown-languages;

· thomasjm opened on Jan 26, 2026

Nested types should have schema fields, in particular defaultValue

Status: Open.

#70 In codedownio/codedown-languages;

· thomasjm opened on Oct 9, 2024

Make sure kernelspec language is good for every kernel

Status: Open.

#69 In codedownio/codedown-languages;

· thomasjm opened on Oct 2, 2024

cpp: look into new CppInterOp, xeus-cpp packages

Status: Open.

#66 In codedownio/codedown-languages;

· thomasjm opened on May 23, 2024

Octave: possible LSP server?

Status: Open.

#57 In codedownio/codedown-languages;

· thomasjm opened on Apr 16, 2024

Rust: try rust-data-analysis repo

rust

Status: Open.

#53 In codedownio/codedown-languages;

· thomasjm opened on Nov 25, 2023

Rust: fix flaky kernel test (rand)

rust

Status: Open.

#49 In codedownio/codedown-languages;

· thomasjm opened on Nov 16, 2023

Try building semi-static IHaskell binaries and hosting on GitHub

closure-size

haskell

Status: Open.

#41 In codedownio/codedown-languages;

· thomasjm opened on Jul 3, 2023

ZSH terminal segfaults

Status: Open.

#22 In codedownio/codedown-languages;

· thomasjm opened on Jan 18, 2023

Add a variable inspector for Bash

bash

Status: Open.

#15 In codedownio/codedown-languages;

· thomasjm opened on Oct 30, 2022

Try to get Coq language server

coq

Status: Open.

#13 In codedownio/codedown-languages;

· thomasjm opened on Sep 19, 2022