A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Repository Index
47,133 repositories indexed
49–72 of 119 · Most stars
Framework to automate development of Algorand Assets and Smart Contracts.
- algorand
- algorand-assets
- yarn
- teal
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3
This script allows bootstrapping a new substrate chain with the current state of a live chain
A framework for writing Smart Contracts on Algorand
A library for building excellent user experiences with Stacks.
- blockstack
- typescript
- blockchain
- decentralized
Write enterprise Bitcoin applications with Spring Boot. Starter projects with multiple Bitcoin related modules that you can include in your application.
- bitcoin
- lightning
- spring-boot
- java
🏷 A better way to share your Bitcoin address.
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
💎 Solidity compiler bindings for Deno
[WIP] RMRK Substrate pallets
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
CityCoins give communities the power to improve and program their cities.
Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schnorr, FROST, MuSig2, BIP-352 | 15+ platforms
- cryptography
- cuda
- riscv
- secp256k1
A toolkit helps upload files to IPFS pinning services.
- ipfs
- ipfs-pinner
- ipfs-pinning-services
- infura
Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polkadot ecosystem.
- substrate
- smart-contracts
- ink
- pallet-contracts
A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support
Persistent, fast and secure signature provider for EOSIO chains built on top of EOSIO Signing Requests (EEP-7)
- anchor-link
- eos
- eosio
- eosio-signing-request
A little Python utility that lets you monitor Bitcoin addresses through Blockchain Websocket API and perform custom callbacks.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Contracts, Node Daemon, and UI for Algorand 'The Reti' consensus incentives
- algorand
- pooling
- staking
Cross platform C# library for talking to the Trezor hardwarewallet
Unofficial community SDK to interact with the Algorand network, in PHP & Laravel
- algorand
- blockchain
- php
- algorand-standard-assets
Bitcoin TypeScript/JavaScript Library for NodeJS, Browser and Mobile. Segwit & Taproot support.✨