Similar repositories to edwinb/sodium-idris:
edwinb/sodium-idris
github
similar
gibiansky/IHaskell
github
similar
motemen/gore
github
similar
ziman/idris-bytes
github
similar
lkuper/dissertation
github
similar
stucchio/Cloud-capacity-planning
github
similar
lkuper/rust-redex
github
similar
LOD-Laundromat/LOD-Laundromat
github
similar
bigmlcom/clj-bigml
github
similar
SimonJF/IdrisNet2
github
similar
geek-ai/1m-agents
github
similar
miniKanren/Racket-miniKanren
github
similar
edwinb/Protocols
github
similar
mrkulk/deepQN_tensorflow
github
similar
edwinb/SPLV20
github
similar
iassael/torch-bnlstm
github
similar
Kaixhin/rlenvs
github
similar
fomorians/lstm-odyssey
github
similar
yetanalytics/dl4clj
github
similar
clojure/data.avl
github
similar
distillpub/post--feature-visualization
github
similar
ziman/idris-py
github
similar
mahyarnajibi/fast-rcnn-torch
github
similar
hans/ipython-notebooks
github
similar
calvis/cKanren
github
similar
locuslab/e2e-model-learning
github
similar
ericnormand/hindley-milner
github
similar
deepmind/spectral_inference_networks
github
similar
mbchang/dynamics
github
similar
edwinb/idris-php
github
similar
glample/rnn-benchmarks
github
similar
JuliaIO/ProtoBuf.jl
github
similar
clojure/math.numeric-tower
github
similar
aria42/infer
github
similar
xdotai/diff
github
similar
coreylynch/grid-lstm
github
similar
clojure/tools.reader
github
similar
bryancatanzaro/copperhead
github
similar
abstractj/kalium
github
similar
arunmallya/packnet
github
similar