-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedApr 21, 2019 -
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
C++ Other UpdatedNov 26, 2018 -
param-noise-repr Public
Reproducibility study of parameter space noise using the OpenAI implementation.
2 UpdatedJan 6, 2018 -
HyperGAN Public
Forked from HyperGAN/HyperGANA composable Generative Adversarial Network(GAN) with API and command line tool.
Python MIT License UpdatedJan 5, 2018 -
baselines Public
Forked from cxxgtxy/baselinesOpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Python MIT License UpdatedDec 12, 2017 -
-
-
{{ message }}