Similar repositories to madman-bob/idris2-jupyter-vega:

• madman-bob/idris2-jupyter-vega github similar
• madman-bob/idris2-jupyter github similar
• zamdzhiev/Qimaera github similar
• stefan-hoeck/idris2-hedgehog github similar
• stefan-hoeck/idris2-tutorial github similar
• idris-community/idris2-lsp github similar
• idris-hackers/idris-crypto github similar
• idris-lang/Idris2 github similar
• rust-ndarray/ndarray github similar
• tensorflow/rust github similar