Byeongjee Kang's repositories
heuristic-narrowing-search
The implementation for Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Postech-SD-project
Eclipse plugin for code smell detection and refactoring, extension of JDeodorant
awesome-rust
A curated list of Rust code and resources.
beacon-chain
The PDAO becaon chain, a.k.a PBC
bls_sigs_ref
Algorand's reference implementation of bls signature scheme
bls_sigs_ref-fork
unofficial ref impls of the BLS signatures standard
codechain-home
CodeChain homepage
gitignore
A collection of useful .gitignore templates
jekyll-scholar-examples
Examples that use jekyll-scholar
juniper
GraphQL server library for Rust
LaTeXMentoring
레이텍 멘토링 교재
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Maude
Language based on Rewriting Logic
mpl
The MaPLe compiler for Parallel ML
nvim
Truly the Ultimate Neovim Config NVCode
obsidian-things
An Obsidian theme inspired by the beautifully-designed app, Things.
pairing-plus
This is a fork of pairing library that pixel and veccom schemes depend on.
qasmsim
A QASM interpreter and quantum simulator in Rust
qiskit
Qiskit is an open-source SDK for working with quantum computers at the level of extended quantum circuits, operators, and primitives.
rlp
Recursive-length prefix encoding, decoding, and compression
rust-codechain-primitives
Primitive types used by CodeChain.
RustPython
A Python Interpreter written in Rust
scikit-learn
scikit-learn: machine learning in Python
simperby
A simple, permissioned, and BFT blockchain for general data recording
wasm-micro-runtime
WebAssembly Micro Runtime (WAMR)