4meta5 Goto Github PK

substrate-did

Substrate runtime module for Decentralized Identifiers.

substrate-front-end-template

A Polkadot.js API + React based template for building Substrate Front Ends

substrate-node-template

A new FRAME-based Substrate node, ready for hacking.

substrate-subxt

Submit extrinsics (transactions) to a substrate node via RPC

suede

minimal DEX in sui-move

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

sunshine-node

substrate runtime and node for sunshine organizations

sysinfo

A system handler to get information and interact with processes written in Rust

tail-recursion

examples of tail recursion

tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

tcs

Book in preparation: introduction to theoretical computer science

telebot

Write Telegram bots in Rust with Tokio and Futures

testcontainers-rs

A library for integration-testing against docker containers from within Rust.

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

token-factory-contracts

toml_sort

Tool to sort and format TOML files

tower

fn(Request) -> Future<Response>

traits

Collection of cryptography related traits

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

universe_polymorphic_type_system

Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes

urkel-rs

Rust Implementation of an Urkel Tree

wordplay

anagram and palindrome exercises

ws-rs

Lightweight, event-driven WebSockets for Rust.

xcm-simulator

Test kit to simulate cross-chain message passing and XCM execution

xorfilter

Rust library implementing xor-filters

xpremtinel

xsv

A fast CSV command line toolkit written in Rust.

yubikey-setup

How to set up your yubikey

zexe

Rust library for decentralized private computation