haoyang670 Goto Github PK

164-class-compiler

arrow-ballista

Apache Arrow Ballista Distributed Query Engine

arrow-datafusion

Apache Arrow DataFusion and Ballista query engines

arrow-rs

Official Rust implementation of Apache Arrow

arrow2

Unofficial transmute-free Rust library to work with the Arrow format

arroyo

Distributed stream processing engine in Rust

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

conceptual_mathematics

Formally prove the theorems in the book "conceptual mathematics"

coq

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.

ctfp_exercise

Exercises in the book Category Theory For Programmers

cudf

cuDF - GPU DataFrame Library

firecracker

Secure and fast microVMs for serverless computing.

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

haoyang670

Config files for my GitHub profile.

idris2

A purely functional programming language with first class types

kyuubi

Apache Kyuubi is a distributed and multi-tenant gateway to provide serverless SQL on data warehouses and lakehouses.

neon

Neon: Serverless Postgres. We separated storage and compute to offer autoscaling, branching, and bottomless storage.

ostep-homework

ostep-projects

Projects for an undergraduate OS course

p523-rust

P523 Course in Rust

simple-db-hw-2021

MIT 6.830 database labs

spark-rapids

Spark RAPIDS plugin - accelerate Apache Spark with GPUs

spark-rapids-formal-proof

Formally prove some algorithms in spark-rapids

sponge

CS144 Lab Assignments

stateright

A model checker for implementing distributed systems.

verus

Verified Rust for low-level systems code