silky Goto Github PK

cedille-core

A minimal (600 LOC) programming language capable of proving theorems about its own terms.

cesium

An open-source JavaScript library for world-class 3D globes and maps :earth_americas:

cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

chalktalk

challenge

Strongly-typed System F in Haskell

change

Change counting code.

changes

A dashboard for your code.

chapel

a Productive Parallel Programming Language

char-rnn-tensorflow

Multi-layer Recurrent Neural Networks (LSTM, RNN) for character-level language models in Python using Tensorflow

characterizer

The best app to train character values and generate conflicts, dilemmas, and common ground between characters.

charade

Haskell program that fills Heist templates with randomly generated data, in support of rapid UI prototyping.

chausler_talks

chebfun

Chebfun is an open-source software system for numerical computing with functions.

chemlambda-gui

collection of scripts and experiments with chemlambda

chess-engine

A dependency-free chess engine library built to run anywhere.

chimera

Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization

chiminey

chordpredictor

Analyse and generate chord sequences

chrisdone-homepage

Homepage built with Hakyll.

christmas-tree

An API for lighting up my Christmas tree

chronicle

Forming reliable memories.

chrysalisp

Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...

churros

simple chan based stream programming with arrow interface (Chan + Arrow = Churro)

ci-in-a-box

An all in one solution to get your team up and running with GoCD, on Kubernetes, on GCP

cider

CIDER is a Clojure IDE and REPL for Emacs

cinemachine-film-demo

Simple demo showing examples of use of Timeline, Cinemachine, GI and PPv2 in the production of a short film.

cipherhub

encrypt messages based on ssh public keys with easy import from github

circat

A categorical framework for circuit construction

circuit

The Circuit

circuitikz

CircuiTikZ TeX/LaTeX package for drawing circuits