PartiallyTyped

Pinned Repositories

• arrow-ballista

  Apache Arrow Ballista Distributed Query Engine

  Language:Rust0000

• arrow-datafusion

  Apache Arrow DataFusion SQL Query Engine

  Language:Rust00

• bustub

  The BusTub Relational Database Management System (Educational)

  Language:C++00

• bustub.rs

  A port of "the BusTub Relational Database Management System" in rust, because why not?

  00

• calib_challenge

  The comma.ai Calibration Challenge!

  Language:Python00

• duckdb

  DuckDB is an in-process SQL OLAP Database Management System

  Language:C++00

• kani

  Kani Rust Verifier

  Language:Rust00

• rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust98.8k1.5k55.4k12.8k

• rust-clippy

  A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

  Language:Rust11.5k876.9k1.5k

PartiallyTyped's Repositories