byeongjee Goto Github PK

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

ccvalidator

codechain-home

CodeChain homepage

detextive

foundry

A programmable open source blockchain engine

gitignore

A collection of useful .gitignore templates

heuristic-narrowing-search

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

hybrid-bench

jekyll-scholar-examples

Examples that use jekyll-scholar

juniper

GraphQL server library for Rust

latexmentoring

레이텍 멘토링 교재

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.

oojahooo.github.io

pairing-plus

This is a fork of pairing library that pixel and veccom schemes depend on.

postech-sd-project

Eclipse plugin for code smell detection and refactoring, extension of JDeodorant

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