Skip to content
View PragmaTwice's full-sized avatar


Block or Report

Block or report PragmaTwice

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

Here is PragmaTwice, aka Twice or 2ce


  • ✨ I'm currently interested in program analysis, programming languages, machine-learning systems (e.g. DL compilers) and Rust
  • ✨ I'm a little familiar with system construction & library design in modern C++, especially for compiler technology

echo -n "My email address: " && echo QkVzzAyYQ0kMoVEH0mihz7zDbk6aalkDYvfnW1OaccM= | openssl enc -d -base64 | openssl enc -d -aes-128-cbc -iv 205731624 -K 230549126 2>/dev/null


  1. protopuf protopuf Public

    Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20

    C++ 143 13

  2. proxinject proxinject Public

    a socks5 proxy injection tool for Windows, making selected processes proxy-able

    C++ 169 28

  3. apache/kvrocks apache/kvrocks Public

    Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.

    C++ 3.3k 428

  4. Oneflow-Inc/oneflow Oneflow-Inc/oneflow Public

    OneFlow is a deep learning framework designed to be user-friendly, scalable and efficient.

    C++ 5.8k 653

  5. apache/incubator-fury apache/incubator-fury Public

    A blazingly fast multi-language serialization framework powered by JIT and zero-copy.

    Java 2.7k 168

  6. codepunk codepunk Public

    [WIP] Interval Analysis on LLVM IR

    C++ 12 1