Skip to content
View bongjunj's full-sized avatar
29 followers · 52 following

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@icists

Block or report bongjunj

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
Stars

compiler

5 repositories

WebAssembly / binaryen

Optimizer and compiler/toolchain library for WebAssembly

WebAssembly 7,678 757 Updated Feb 14, 2025

ruby / ruby

The Ruby Programming Language

Ruby 22,364 5,361 Updated Feb 18, 2025

egraphs-good / egg

egg is a flexible, high-performance e-graph library

Rust 1,430 146 Updated Dec 31, 2024

AbsInt / CompCert

The CompCert formally-verified C compiler

Coq 1,935 232 Updated Feb 4, 2025

AliveToolkit / alive2

Automatic verification of LLVM optimizations

C++ 864 114 Updated Feb 18, 2025