A software that assists a prospected proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

Visualize Ownership and Lifetimes in Rust

🔥 Time Travel Visual Debugger for Rust

Editorials for various competitive programming problems

archive for acmicpc

CPU profiling trace viewer

Support for json-path in Rust

⏰ 🔥 A TCP proxy to simulate network and system conditions for chaos and resiliency testing

Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)

Rust quasi-quoting

Trait synonyms for “Fn[…]”-trait bounds returning futures

Official inference framework for 1-bit LLMs

DEVCON 2024 - Rust는 어떻게 안전한 프로그래밍을 이뤄내는가 발표 자료 및 예제 코드

Minimal LLM inference in Rust

Bindings to liblzma in Rust (xz streams in Rust)

Exponential backoff and retry for Rust.

Rust port of Yjs

Zip implementation in Rust

Rust numeric library with high performance and friendly syntax

a collection of well-tested, serializable CRDTs for Rust

A native gRPC client & server implementation with async/await support.

General purpose GPU compute framework built on Vulkan to support 1000s of cross vendor graphics cards (AMD, Qualcomm, NVIDIA & friends). Blazing fast, mobile-enabled, asynchronous and optimized for…

The frontend of Bibimbap

The backend of Bibimbap

Chris Ohk's CV

A hardware acceleration library for compute intensive cryptography 🧊

Darkest Dungeon port in Unity. Almost completely identical to the original. Platforms: PC/Android.

Author's implementation of SIGGRAPH 2024 paper, "Velocity-Based Monte Carlo Fluids"

Entity Framework Core Power Tools - reverse engineering, migrations and model visualization in Visual Studio & CLI

2024 Softeer Tech Meetup - Rust는 왜 주목 받고 있는가 + Rust 주요 기능 소개