Remzi Yang's Projects
Apache Arrow Ballista Distributed Query Engine
Apache Arrow DataFusion and Ballista query engines
Official Rust implementation of Apache Arrow
Unofficial transmute-free Rust library to work with the Arrow format
Distributed stream processing engine in Rust
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
Formally prove the theorems in the book "conceptual mathematics"
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Exercises in the book Category Theory For Programmers
cuDF - GPU DataFrame Library
Secure and fast microVMs for serverless computing.
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Config files for my GitHub profile.
A purely functional programming language with first class types
Apache Kyuubi is a distributed and multi-tenant gateway to provide serverless SQL on data warehouses and lakehouses.
Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, branching, and bottomless storage.
Projects for an undergraduate OS course
P523 Course in Rust
MIT 6.830 database labs
Spark RAPIDS plugin - accelerate Apache Spark with GPUs
Formally prove some algorithms in spark-rapids
CS144 Lab Assignments
A model checker for implementing distributed systems.
A scalable, distributed, collaborative, document-graph database, for the realtime web
Verified Rust for low-level systems code