This is your work, valued
Member of @apache. Committer of Spark, Hadoop, Arrow, DataFusion, and Hive. Likes databases, distributed systems, and programming languages.
parquet-rs. Apache Parquet implementation in Rust
150tiger. Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
105leveldb-rs. LevelDB: Rust implementation
81parquet-format-rs. Apache Parquet format for Rust, hosting the Thrift definition file and the generated .rs file
18pl-papers. A list of research papers on programming languages
3upenn-cis194. Assignments from Upenn CIS194 - A Haskell Introductory Course
1reftype. Twelf proof for a capability-based type system which delegates to Boyland's fractional permission system
1arrow-datafusion-comet. Apache Arrow DataFusion Comet Spark Accelerator
1sunchao.github.io. My Blog
1