◐ Shell
clean mode source ↗

byeongjee - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View byeongjee's full-sized avatar

PhD student at Carnegie Mellon University

Organizations

@postech-dao

Block or report byeongjee

Pinned Loading

  1. The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search

    Shell 6

  2. The ultimate BFT blockchain engine for decentralized organizations with powerful trustless interoperability.

    Rust 74 39

  3. A programmable open source blockchain engine

    Rust 36 11