Skip to content
View hrtan99's full-sized avatar
20 followers · 18 following
  • HKUST
  • Hong Kong, China

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Highlights

  • Pro

Block or report hrtan99

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

  • binaryen Public

    Forked from WebAssembly/binaryen

    Optimizer and compiler/toolchain library for WebAssembly

    WebAssembly Apache License 2.0 Updated Mar 6, 2025

  • wasmer Public

    Forked from wasmerio/wasmer

    🚀 Fast, secure, lightweight containers based on WebAssembly

    Rust MIT License Updated Feb 27, 2025

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM Other Updated Feb 24, 2025

  • tapl Public

    Implementation of TAPL

    OCaml Updated Feb 24, 2025

  • kdd_algorithm Public

    C++ Updated Nov 28, 2024

  • pi-forall Public

    Forked from sweirich/pi-forall

    A demo implementation of a simple dependently-typed language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 18, 2024

  • CFGPrinter Public

    A plugin that print the information of CFG in LLVM.

    C++ 7 1 Updated Oct 28, 2024

  • hkust-beamer Public

    TeX Updated Sep 12, 2024

  • chipyard-cs152-sp23 Public

    Forked from ucb-bar/chipyard-cs152-sp23

    An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

    C BSD 3-Clause "New" or "Revised" License Updated Aug 7, 2024

  • typst Public

    Forked from typst/typst

    A new markup-based typesetting system that is powerful and easy to learn.

    Rust Apache License 2.0 Updated Jul 3, 2024

  • llvm-mctoll Public

    Forked from microsoft/llvm-mctoll

    llvm-mctoll for evaluation

    C++ Other Updated Jun 22, 2024

  • alive2 Public

    Forked from AliveToolkit/alive2

    Automatic verification of LLVM optimizations

    C++ MIT License Updated May 16, 2024

  • MetaTrans Public

    This is a part of RIOS Binary Translation project.

    C++ Updated May 10, 2024

  • hexo-theme-butterfly Public

    Forked from jerryc127/hexo-theme-butterfly

    🦋 A Hexo Theme: Butterfly

    Stylus Apache License 2.0 Updated May 1, 2024

  • grape-book Public

    Forked from datawhalechina/grape-book

    图深度学习（葡萄书），在线阅读地址： https://datawhalechina.github.io/grape-book

    HTML Updated Apr 21, 2024

  • ThreadPool Public

    A lightweight thread pool for C++ 17.

    C++ Updated Apr 18, 2024

  • rios-gcloud Public

    Python Updated Apr 17, 2024

  • ocolos-public Public

    Forked from upenn-acg/ocolos-public

    Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.

    C++ BSD 2-Clause "Simplified" License Updated Nov 20, 2023

  • WHU-Beamer Public

    武汉大学 Beamer 幻灯片模板。武大师生可用于各种报告、展示、答辩等场景。

    TeX 63 5 LaTeX Project Public License v1.3c Updated Nov 1, 2023

  • nvim Public

    my nvim config repository

    Lua Updated Aug 29, 2023

  • rios-patent-backend Public

    Java Updated Jul 18, 2023

  • rios-patent-execute Public

    Scala Updated Jun 28, 2023

  • cs152-lab4 Public

    Forked from ucb-bar/cs152-lab4

    CS152 Lab 4

    C Other Updated Jun 4, 2023

  • rios-patent-analysis Public

    Scala Updated Apr 30, 2023

  • typora-gitbook-theme Public

    Forked from h16nning/typora-gitbook-theme

    This is a Typora theme is inspired by gitbook.com. Most of the user interface has been overhauled. It contains three variants: two light variants and one dark theme.

    CSS GNU General Public License v3.0 Updated Apr 27, 2023

  • rios-patent Public

    Download pdf files from google patent

    Python Updated Apr 20, 2023

  • SEAL Public

    Forked from microsoft/SEAL

    Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

    C++ MIT License Updated Mar 28, 2023

  • LuoJiaCampus Public

    C#大作业：珞珈校园

    C# MIT License Updated Dec 8, 2022

  • sound-pytorch Public

    backup repos

    Python Updated Oct 24, 2022

  • vita Public

    Forked from Harendra1993/vita

    A simple and minimal Hexo resume theme

    CSS Updated Oct 23, 2022