silky Goto Github PK

conway

A real-time, persistent, multiplayer version of Conway's Game of Life

cool-old-term

A good looking terminal emulator which mimics the old cathode display...

coolgif

Make a cool gif!

coolgifs.neocities.org

:cool: a neocities site for cool gifs :sunglasses:

coppersmith

Feature Engineering as Composable Functions

coq-chick-blog

A blog engine written and proven in Coq.

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

coquille

Interactive theorem proving with Coq in vim.

core-war

A reproduction of the Core War game. Assembly compiler, Virtual Machine and GUI.

corefx

This repository contains the foundational libraries that make up the .NET Core development stack.

corewar

Core War's MARS implementation in Python

cornea

👁️ Isometric 3D Graphing / Rendering module for Haskell

corpora

A collection of small corpuses of interesting data for the creation of bots and similar stuff.

corporate

It's not a game, it's The Game.

corral

The Powerful Pipeline Framework

cortana.hubot

cortex

A general purpose processing framework for corpora of scientific documents

cosmology.jl

Cosmology library for Julia

cosmopolitan

build-once run-anywhere c library

cosmos

GPU-accelerated force graph layout and rendering

cosmos-book.github.io

Main repo

cottidie.vim

Your quotidian Vim tip in 78 characters

counterexamples

Counterexamples in Type Systems

counterfeit-monkey

Counterfeit Monkey by Emily Short

course

Functional Programming Course

courseramachinelearning

Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.

courtlistener

A free and powerful system for awareness and research of the American judicial system.

covid-19-data

Data on COVID-19 (coronavirus) cases, deaths, hospitalizations, tests • All countries • Updated daily by Our World in Data

covim

Collaborative Editing for Vim

coworkers

RabbitMQ microservice framework in Node.js