- Cupertino
- http:https://sunchao.github.io
- @sunchao
Highlights
- Pro
Block or Report
Block or report sunchao
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedApr 26, 2016 -
peloton Public
Forked from cmu-db/pelotonStreet Strength Database Management System for Real-Time Analytics
C++ Apache License 2.0 UpdatedApr 22, 2016 -
RecordServiceClient Public
Forked from kakamessi99/RecordServiceClientRecordService client
-
reftype Public
Twelf proof for a capability-based type system which delegates to Boyland's fractional permission system
-
-
type-systems Public
Forked from tomprimozic/type-systemsImplementations of various type systems in OCaml.
OCaml The Unlicense UpdatedAug 31, 2015 -
tiger Public
Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
-
lz4-java Public
Forked from lz4/lz4-javaLZ4 compression for Java
C Apache License 2.0 UpdatedMay 13, 2015 -
-
-
popl2015-papers Public
Forked from yallop/popl2015-papersAccepted papers for POPL 2015
Python UpdatedDec 3, 2014 -
sparksql-perf Public
Forked from concretevitamin/sparksql-perfA performance benchmark for Spark SQL.
Scala UpdatedAug 8, 2014 -
ical2org.py Public
Forked from ical2org-py/ical2org.pyConvert ical .ics file to org-mode
Python UpdatedJun 13, 2014 -
yin Public
Forked from yhsiang/yinthe Yin programming language
-
upenn-cis194 Public
Assignments from Upenn CIS194 - A Haskell Introductory Course
-
-
course Public
Forked from system-f/fp-courseFunctional Programming Course
Haskell UpdatedJan 31, 2014 -
-
-
-
sicp Public
My solutions for exercises in "Structure and Interpretation of Computer Programs"
Scheme UpdatedDec 1, 2013 -
nonnull-type Public
Proof for a simple non-null type system, by piggy-packing to fractional-permission type system.
C++ UpdatedNov 27, 2013