Similar repositories to HOL-Theorem-Prover/hol-webpages:
HOL-Theorem-Prover/hol-webpages
github
similar
Gingeropolous/monerodo
github
similar
Gabriel439/Haskell-Pipes-HTTP-Library
github
similar
xtensor-stack/xtensor-julia
github
similar
rswier/swizzle
github
similar
xtensor-stack/xtensor-benchmark
github
similar
numenta/htmresearch-core
github
similar
xtensor-stack/xtensor-python-cookiecutter
github
similar
llvm-mirror/vmkit
github
similar
ROCmSoftwarePlatform/hipDNN
github
similar
Apress/testing-and-tuning-market-trading-systems
github
similar
opencog/cogutil
github
similar
ml4a/ml4pi
github
similar
anowell/mia
github
similar
ats-lang/ATS-CodeBook
github
similar
JuliaGPU/CLArrays.jl
github
similar
SquareBracketAssociates/EnterprisePharo
github
similar
facebookresearch/translagent
github
similar
xtensor-stack/xtensor-io
github
similar
rain-1/single_cream
github
similar
xtensor-stack/xtensor-r
github
similar
leanprover/logic_and_proof
github
similar
zeroflag/Teapot
github
similar
janestreet/install-ocaml
github
similar
libretro/libretro-common
github
similar
pharo-project/pharo-launcher
github
similar
arrayfire/arrayfire-ml
github
similar
ml4a/ml4a-demos
github
similar
OCamlPro/alt-ergo
github
similar
ucbrise/flor
github
similar
xtensor-stack/xtensor-blas
github
similar
zaidalyafeai/Swift4TF
github
similar
lettier/lambda-lantern
github
similar
numba/numba-examples
github
similar
xtensor-stack/xtl
github
similar
hughperkins/EasyCL
github
similar
sideeffects/HoudiniEngineForUnity
github
similar
copperspice/cs_libguarded
github
similar
studiomoniker/Quickdraw-appendix
github
similar
monero-project/research-lab
github
similar