Giters
Chenchao Ding (dcclogin)

dcclogin

Geek Repo

17

followers

35

following

41

stars

Company:Indiana University

Location:Bloomington, IN

Home Page:dcclogin.github.io

Github PK Tool:Github PK Tool

Chenchao Ding's repositories

cubical-sqrt

experimental

Language:MathematicaStargazers:4Issues:5Issues:0

SereneAzure

Prototypes

Language:RacketStargazers:1Issues:2Issues:0

aurora.js

JavaScript audio decoding framework

Language:CoffeeScriptStargazers:0Issues:2Issues:0

b521-notes

Notes of Programming Language Principles (CSCI-C311/B521) @ Indiana University

Language:RacketStargazers:0Issues:2Issues:0

Biodiff

a simple bioinformatics diff tool.

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

blog

blog personal public

Stargazers:0Issues:0Issues:0

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

dcclogin.github.io

Language:HTMLStargazers:0Issues:2Issues:0

p423-compiler

A Scheme to x86-64 compiler in Scheme

Language:SchemeStargazers:0Issues:1Issues:0

tiny-learner

deep learning

Language:RacketStargazers:0Issues:2Issues:0