Chao Sun (@sunchao)
github

sunchao

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    340
  • Global Rank 80,470 (Top 3 %)
  • Followers 327
  • Registered almost 14 years ago
  • Most used languages
    Rust
         42.9 %
    Scala
         14.3 %
    Makefile     14.3 %
    Haskell
         14.3 %
    Standard ML     14.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 19,747
  • Country Ranking
    Standard ML     10
    Rust
         652
    Haskell
         2,375
    Scala
         3,067
    Makefile     4,093

Top repositories

1

parquet-rs

Apache Parquet implementation in Rust
Rust
149
star
2

tiger

Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
Standard ML
96
star
3

leveldb-rs

LevelDB: Rust implementation
Rust
74
star
4

parquet-format-rs

Apache Parquet format for Rust, hosting the Thrift definition file and the generated .rs file
Rust
18
star
5

upenn-cis194

Assignments from Upenn CIS194 - A Haskell Introductory Course
Haskell
1
star
6

scala-tiger

Scala
1
star
7

reftype

Twelf proof for a capability-based type system which delegates to Boyland's fractional permission system
Makefile
1
star
8

pl-papers

A list of research papers on programming languages
1
star