8000 byeongjee (Byeongjee Kang) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View byeongjee's full-sized avatar

Highlights

  • Pro

Organizations

@postech-dao

Block or report byeongjee

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

Starred repositories

Showing results

mimalloc is a compact general purpose allocator with excellent performance.

C 11,619 958 Updated Jun 18, 2025

Intel® Implicit SPMD Program Compiler

C++ 2,689 331 Updated Jun 20, 2025

A fast framework for writing baseline compiler back-ends in C++

LLVM 468 16 Updated Jun 5, 2025
C++ 1 1 Updated Mar 3, 2022

A crate to help you go wide. By which I mean use SIMD stuff.

Rust 378 33 Updated Jun 21, 2025

LLVM test suite benchmarks (260 benchmarks - 36 test suites)

C 19 4 Updated Feb 2, 2022

A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.

52 4 Updated Sep 29, 2023

The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.

Python 102 9 Updated Jun 23, 2025

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Rust 1,371 515 Updated Jun 19, 2025

Windows Subsystem for Linux

C++ 28,889 1,394 Updated Jun 21, 2025

CakeML: A Verified Implementation of ML

Standard ML 1,058 88 Updated Jun 23, 2025

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…

Rust 1,917 197 Updated Jun 23, 2025

Lean Theorem Prover MCP

Python 44 1 Updated Jun 13, 2025

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

Python 703 103 Updated May 31, 2025

A little Rust library for giving per-index refcounted access to a slice through a shared reference.

Rust 2 Updated Apr 30, 2025

A safe, easy systems language

Rust 2,072 93 Updated May 31, 2025

Python tool for converting files and office documents to Markdown.

Python 59,416 3,092 Updated Jun 4, 2025

Pluto: An automatic polyhedral parallelizer and locality optimizer

C 295 72 Updated Jun 18, 2025

Updated C version of the Test Suite for Vectorising Compilers

C 61 27 Updated Mar 14, 2024

The Phoronix Test Suite open-source, cross-platform automated testing/benchmarking software.

PHP 2,750 402 Updated Jun 15, 2025

Bridging polyhedral analysis tools to the MLIR framework

C++ 113 22 Updated Sep 9, 2023

Executes commands in response to file modifications

Rust 6,087 165 Updated Jun 16, 2025

A markdown terminal slideshow tool

Rust 6,474 126 Updated Jun 22, 2025

A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

463 37 Updated Jan 15, 2025

An extremely fast Python package and project manager, written in Rust.

Rust 58,634 1,677 Updated Jun 23, 2025

Simple and reliable secure storage with strong encryption and format validation.

Rust 79 14 Updated Sep 2, 2024

Visualize Ownership and Lifetimes in Rust

Rust 4,625 99 Updated Jun 23, 2025

Lightweight coding agent that runs in your terminal

Rust 29,506 3,292 Updated Jun 23, 2025
Next
0