Skip to content
View hiroki-chen's full-sized avatar
🍉
WFH
🍉
WFH
74 followers · 173 following

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro
Block or Report

Block or report hiroki-chen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • hiroki-chen.github.io Public

    Forked from academicpages/academicpages.github.io

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    HTML 1 MIT License Updated Aug 8, 2024

  • duckdb Public

    Forked from duckdb/duckdb

    DuckDB is an in-process SQL OLAP Database Management System

    C++ MIT License Updated Aug 7, 2024

  • polars Public

    Forked from pola-rs/polars

    Dataframes powered by a multithreaded, vectorized query engine, written in Rust

    Rust MIT License Updated Jul 27, 2024

  • coq-of-rust Public

    Forked from formal-land/coq-of-rust

    Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

    Coq GNU Affero General Public License v3.0 Updated Jul 20, 2024

  • tdx-tools Public

    Forked from YurkoWasHere/tdx-tools
    C Apache License 2.0 Updated Jul 17, 2024

  • duckdb-rs Public

    Forked from duckdb/duckdb-rs

    Ergonomic bindings to duckdb for Rust

    Rust MIT License Updated Jul 2, 2024

  • TPC-H-benchmark Public

    Forked from pola-rs/tpch
    C MIT License Updated Jun 10, 2024

  • nvtrust-rs Public

    A Rust-based CLI tool for configuring the Nvidia's Hopper H100 CC on host

    Rust 1 Apache License 2.0 Updated May 28, 2024

  • sqlite Public

    Forked from sqlite/sqlite

    Official Git mirror of the SQLite source tree

    C Other Updated May 18, 2024

  • spark Public

    Forked from apache/spark

    Apache Spark - A unified analytics engine for large-scale data processing

    Scala Apache License 2.0 Updated May 10, 2024

  • lambda-rs Public

    A dependently typed lambda calculus interpreter

    Rust 4 Updated May 2, 2024

  • Software-Foundations Public

    Exercises for the course.

    Coq Updated Feb 27, 2024

  • Coq-Resources Public

    A collection of useful tools, materials, tricks for Coq

    2 Updated Feb 5, 2024

  • hiroki-chen Public

    Updated Feb 4, 2024

  • nvtrust Public

    Forked from NVIDIA/nvtrust

    Ancillary open source software to support confidential computing on NVIDIA GPUs

    Python Apache License 2.0 Updated Jan 6, 2024

  • principles-of-programming-language Public

    Racket Updated Dec 7, 2023

  • AMDSEV-kernel Public

    Forked from AMDESE/AMDSEV

    AMD Secure Encrypted Virtualization

    Shell Updated Dec 6, 2023

  • Coq-RDB Public

    A backup of Harvard's YNOT project which is lost

    Coq Updated Nov 16, 2023

  • incubator-teaclave Public

    Forked from apache/incubator-teaclave

    Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.

    Rust Apache License 2.0 Updated Aug 24, 2023

  • NeoOS Public

    A tiny operating system built with Rust.

    Rust 7 1 GNU Affero General Public License v3.0 Updated Aug 23, 2023

  • SGXOram Public

    SO2 ORAM implementation and evaluation

    C++ 4 GNU General Public License v3.0 Updated Aug 16, 2023

  • syzkaller Public

    Forked from google/syzkaller

    syzkaller is an unsupervised coverage-guided kernel fuzzer

    Go Apache License 2.0 Updated Aug 10, 2023

  • Lean-Playground Public

    Learning the Lean4 proof assistant and type theory!

    Apache License 2.0 Updated Jul 19, 2023

  • SSE-SEAL Public

    Searchable Encryption with Adjustable Leakage

    C++ 4 GNU General Public License v3.0 Updated Jul 17, 2023

  • opendp Public

    Forked from opendp/opendp

    The core library of differential privacy algorithms powering the OpenDP Project.

    Rust MIT License Updated Jul 15, 2023

  • statrs Public

    Forked from statrs-dev/statrs

    Statistical computation library for Rust

    Rust MIT License Updated Jul 15, 2023

  • differential-privacy-rs Public

    Rust bindings to Google's Differential Privacy Library.

    MIT License Updated Jul 15, 2023

  • differential-privacy Public

    Forked from google/differential-privacy

    Google's differential privacy libraries.

    C++ Apache License 2.0 Updated Jul 4, 2023

  • MIRAI Public

    Forked from facebookexperimental/MIRAI

    Rust mid-level IR Abstract Interpreter

    Rust MIT License Updated Jun 10, 2023

  • NKU-thesis-template-2020 Public

    Forked from Tr0py/NKU-thesis-template-2020

    thesis template

    TeX Updated May 31, 2023