A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
Interactive Coq Proofs in Vim
47,133 repositories indexed
1–2 of 2 · Most stars
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
Interactive Coq Proofs in Vim