paddymahoney Goto Github PK

claymore-dual-miner

Claymore's Dual Ethereum+Decred_Siacoin_Lbry AMD+NVIDIA GPU Miner

cleverhans

A library for benchmarking vulnerability to adversarial examples

clgen

Deep learning program generator

cmacro

Lisp macros for C

cntk

Computational Network Toolkit (CNTK)

coda

A language experiment, something to do on my vacation -- irc.freenode.net ##coda

community-sdk

Emotiv SDK Community Edition

compcert

The CompCert formally-verified C compiler

compression

Node.js compression middleware

concat

Constrained categories

conditional-pixelcnn-decoder

Tensorflow implementation of Gated Conditional Pixel Convolutional Neural Network

config

Configuration library for JVM languages

conv_arithmetic

A technical report on convolution arithmetic in the context of deep learning

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.

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-haskell

A library for formalizing Haskell types and functions in Coq

cosmos-sdk

A cryptocurrency framework in Golang

cpp-ethereum

Ethereum C++ client

createthis_vr_ui

CreateThis VR UI

crown

The flexible game engine.

cryengine

CRYENGINE source code.

ctop

Top-like interface for container metrics

cuberite

A lightweight, fast and extensible game server for Minecraft

cur

CIC under Racket

cyclegan

Software that can generate photos from paintings, turn horses into zebras, perform style transfer, and more.

dactyl-keyboard

Parameterized ergonomic keyboard

databrokerdao-dapp

datalog

An in-memory datalog implementation for OCaml.

datascript

Immutable database and Datalog query engine for Clojure, ClojureScript and JS

dcgan-completion.tensorflow

Image Completion with Deep Learning in TensorFlow