Amar Singh's repositories
actix
Actor framework for Rust
apps
Basic Polkadot/Substrate UI for interacting with a node. This is the main user-facing application, allowing access to all features available on Substrate chains.
async-sync
macro
awesome-berlin
🇩🇪 A guide aiming to help newcomers to have a successful start in Berlin!
awesome-consensus
Awesome list for Paxos and friends
cadCAD
Design, test and validate complex systems through simulation in Python
challenge-bypass-ristretto
Challenge Bypass using the Ristretto group
coda
Coda is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
customdBook
mdbook custom config for substrate-recipes (and more)
edgeware-node
Substrate node implementing Edgeware
hacker-laws
💻📖 Laws, Theories, Principles and Patterns that developers will find useful. #hackerlaws
HoTT
Homotopy type theory
hypercore
Secure, distributed, append-only log.
LearningPython
learning python w friends
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
rfcbot-rs
Coordinates asynchronous decision making on Rust repositories. Status of tracked issues and PRs can be viewed at https://rfcbot.rs.
rust-cid
CID in rust
rust-prometheus
Prometheus instrumentation library for Rust applications
rust-websocket
A WebSocket (RFC6455) library written in Rust
schnorrkel
Schnorr VRFs and signatures on the Ristretto group
scuttlebutt
Multi-party computation utilities toolkit for rust
sourcecred
a reputation protocol for open collaboration
substrate-did
Substrate runtime module for Decentralized Identifiers.
telebot
Write Telegram bots in Rust with Tokio and Futures
tower
fn(Request) -> Future<Response>
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
yubikey-setup
How to set up your yubikey