Pinned Repositories
ajv
The fastest JSON Schema Validator. Supports draft-04/06/07
awesome-ink
A curated list of awesome projects related to Parity's ink!.
code-gallery-sample-entry
Sample Entry for HubSpot Code Gallery
mukutu-safe
A Safe app for managing assets and interacting with smart contracts and dapps on multiple chains from one Safe account.
pallet-verifier
A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic execution.
substrate-vault
Kuuma: Substrate Vault with complex hierarchical and granular transaction approval policies.
ink-analyzer
A collection of modular and reusable libraries and tools for semantic analysis of ink! smart contracts.
ink-vscode
ink! language support for Visual Studio Code.
wamu-rs
A collection of modular Rust libraries for implementing the Wamu protocol for computation of threshold signatures by multiple decentralized identities.
wamu-spec
Whitepaper, technical specification and website for the Wamu project - a protocol and library for computation of threshold signatures by multiple decentralized identities.
davidsemakula's Repositories
davidsemakula/mukutu-safe
A Safe app for managing assets and interacting with smart contracts and dapps on multiple chains from one Safe account.
davidsemakula/pallet-verifier
A tool for detecting common security vulnerabilities and insecure patterns in FRAME pallets using static program analysis techniques like data-flow analysis, abstract interpretation and symbolic execution.
davidsemakula/substrate-vault
Kuuma: Substrate Vault with complex hierarchical and granular transaction approval policies.
davidsemakula/W3F-Grants-Program
Web3 Foundation Grants Program
davidsemakula/ajv
The fastest JSON Schema Validator. Supports draft-04/06/07
davidsemakula/awesome-ink
A curated list of awesome projects related to Parity's ink!.
davidsemakula/cggmp-threshold-ecdsa
CGGMP MPC protocol for threshold ECDSA
davidsemakula/darling
A Rust proc-macro attribute parser
davidsemakula/davidsemakula
GitHub Profile
davidsemakula/davidsemakula.github.io
Personal Website
davidsemakula/draft-js-emoji-plugin
Add emoji to your draft-js-plugins-editor: https://www.draft-js-plugins.com/
davidsemakula/draft-js-giphy-plugin
Add gifs and stickers from Giphy: https://giphy.com/ to your draft-js-plugins-editor: https://www.draft-js-plugins.com/
davidsemakula/express-session
Simple session middleware for Express
davidsemakula/fs-dkr
FS-DKR: One Round Distributed Key Rotation
davidsemakula/hyperlane-eip-5164
Hyperlane EIP-5164 Implementation
davidsemakula/ink
Parity's ink! to write smart contracts.
davidsemakula/ink-docs
Documentation portal for the ink! smart contract language.
davidsemakula/keystone
A scalable platform and CMS to build Node.js applications
davidsemakula/MIRAI
Rust mid-level IR Abstract Interpreter
davidsemakula/multi-party-ecdsa
Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
davidsemakula/react-activity-feed
Stream React Activity Feed Components
davidsemakula/react-jsonschema-form
A React component for building Web forms from JSON Schema.
davidsemakula/round-based-protocol
Driver for round-based protocols in Rust
davidsemakula/rust-analyzer
A Rust compiler front-end for IDEs
davidsemakula/rustc-dev-guide
A guide to how rustc works and how to contribute to it.
davidsemakula/safe-web-core
The new Safe web interface
davidsemakula/w3f-education
Technical Education at Web3 Foundation
davidsemakula/W3F-Grant-Milestone-Delivery
Repository to submit finished milestones
davidsemakula/webpack-spawn-plugin
A webpack plugin that runs child_process.spawn within compilation
davidsemakula/z3.rs
Rust bindings for the Z3 solver.