A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
47,133 repositories indexed
49–72 of 99 · Most stars
A framework for smart contract verification in Coq
Java version of ripple-lib (work in progress)
An open-source EOS wallet project
EOSIO Ethereum Virtual Machine (EVM)
Write enterprise Bitcoin applications with Spring Boot. Starter projects with multiple Bitcoin related modules that you can include in your application.
Scry Data Protocol
CityCoins give communities the power to improve and program their cities.
The implementation of the bitcoin protocol for ruby.
A Bitcoin Script Interpreter and Debugger in Scala
Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)
An Uniswap like implementation for Stacks 2.0 and Clarity
Algorand Local Model Context Protocol (Server & Client)
The official JavaScript SDK for the Folks Finance Algorand Protocol
Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨
Bitcoin Protocol components in Common Lisp
Halva is a toolchain for improving the experience of developing Decentralized Applications based on Substrate.
Bitcoin dashboard with real-time price data, TradingView chart, order book, market analysis, Twitter/X insights, and halving countdown. Clean, ad-free, responsive design.
Elixir implementation of Ethereum's RLP (Recursive Length Prefix) encoding
C++ implementation of the Antelope protocol with Savanna consensus
JavaScript & npm framework for EOSIO dApps development, building, deployment and testing using eosjs and the EOSIO protocol
The easiest way to add Sign-in with Ethereum to your app.
SubQuery API for saturating Nova Wallet as a data source. Focuses on the following use cases: 1) Provide complete operation history, including Transfers, Rewards/slashes, Other extrinsics 2) Provide data for staking analytics
An interpretation of Ampleforth for Blockstack
Digital Cash Envelope for the Internet