Similar repositories to battlecode/battlecode-client-17:
battlecode/battlecode-client-17
github
similar
battlecode/battlecode-server-2017
github
similar
battlecode/battlecode-scaffold-2017
github
similar
verifast/verifast
github
similar
rust-embedded/wg
github
similar
ghdl/ghdl
github
similar
leanprover/lean4
github
similar
dafny-lang/dafny
github
similar
dockcross/dockcross
github
similar
cinder/Cinder
github
similar
keras-rl/keras-rl
github
similar
brndnmtthws/conky
github
similar
tensorflow/tensorboard
github
similar
autowarefoundation/autoware
github
similar
Z3Prover/z3
github
similar
microsoft/language-server-protocol
github
similar
CoatiSoftware/Sourcetrail
github
similar
Unity-Technologies/ml-agents
github
similar
KaTeX/KaTeX
github
similar
kataras/iris
github
similar
pjreddie/darknet
github
similar
dmlc/xgboost
github
similar
swc-project/swc
github
similar
openai/gym
github
similar
nlohmann/json
github
similar
chrislgarry/Apollo-11
github
similar
ocornut/imgui
github
similar
tesseract-ocr/tesseract
github
similar
grafana/grafana
github
similar
keras-team/keras
github
similar
jquery/jquery
github
similar
pytorch/pytorch
github
similar
opencv/opencv
github
similar
tensorflow/models
github
similar
ytdl-org/youtube-dl
github
similar
torvalds/linux
github
similar
tensorflow/tensorflow
github
similar