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