c-connors

Pinned Repositories

param-noise-repr
Reproducibility study of parameter space noise using the OpenAI implementation.
20
variational-change-detection
Language:Python21
RiftSketch-Sandbox
Language:JavaScript11
baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Language:Python00
coq
Coq 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 development of machine-checked proofs.
Language:OCaml00
hql
Language:Jupyter Notebook00
HyperGAN
A composable Generative Adversarial Network(GAN) with API and command line tool.
Language:Python00
protobuf
Protocol Buffers - Google's data interchange format
Language:C++00
restricted-boltzmann-machines
Restricted Boltzmann Machines in Python.
Language:Python944374
microcontroller
Microcontroller code for interfacing with sensor/power boards
Language:C00

c-connors's Repositories

c-connors/coq
Coq 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 development of machine-checked proofs.
Language:OCaml
c-connors/protobuf
Protocol Buffers - Google's data interchange format
Language:C++
c-connors/param-noise-repr
Reproducibility study of parameter space noise using the OpenAI implementation.
2
c-connors/HyperGAN
A composable Generative Adversarial Network(GAN) with API and command line tool.
Language:Python
c-connors/baselines
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Language:Python
c-connors/hql
Language:Jupyter Notebook
c-connors/variational-change-detection
Language:Python21
c-connors/RiftSketch-Sandbox
Language:JavaScript11