u20024804 Goto Github PK

concurrentunit

Toolkit for testing multi-threaded and asynchronous applications

connect4j

convnet-benchmarks

Easy benchmarking of all publicly accessible implementations of convnets

cook

🍲 好的，今天我们来做菜！

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---programming-language

Haskell函数式编程的代码实例以及教程

coqide

Emulate Coq IDE in VIM

coquille

Interactive theorem proving with Coq in vim.

cord

CoRD is a Mac OS X remote desktop client for Microsoft Windows computers using the RDP protocol. It's easy to use, fast, and free for anyone to use or modify.

core-android

core-android-audiocapture

core-android-market

core-android-native

core-blackberry

core-ios

core-linux

core-macos

core-packer

core-symbian

core-win32

core-win64

core-winmobile

core-winphone

cormanlisp

Corman Lisp

couchdb-benchmarks

some benchmark scripts for testing CouchDB performance

cow

HTTP proxy written in Go. COW can automatically identify blocked sites and use parent proxies to access.

cowboy

Small, fast, modular HTTP server written in Erlang.

cpl

ːᴄᴘʟ - The ːᴄᴏɴꜱᴛʀᴜᴄᴛ Programming Language

cpp-ethereum

Gavin Wood's C++ implementation of the Ethereum yellowpaper.

cpp-netlib

The C++ Network Library Project -- header-only, cross-platform, standards compliant networking library.