Skip to content
View fogsong233's full-sized avatar
🕓
On vacation
🕓
On vacation
  • Nanjing University

Highlights

  • Pro

Block or report fogsong233

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
fogsong233/README.md

Interesting & Learning

Compiler | Type Theory | Programming Languages | Linguistics | GPU | Concurrency

Kotlin Python Haskell C++ TypeScript JavaScript Java

Contact Me

Pinned Loading

  1. llvm/llvm-project llvm/llvm-project Public

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

    LLVM 37k 16.2k

  2. vgvassilev/clad vgvassilev/clad Public

    clad -- automatic differentiation for C/C++

    C++ 388 169

  3. clice-io/catter clice-io/catter Public

    A new tool to capture C++ compilation command

    C++ 26 5

  4. cpp-prover cpp-prover Public

    C++ 2

  5. Typsidian Typsidian Public

    A typst tool for obsidian

    TypeScript 32 2

  6. h-graph h-graph Public

    Typst 9 1