A simple, battle-tested and generic set type for the Go language. Trusted by GoogleCloudPlatform, Docker, 1Password, Ethereum and Hashicorp.
- go
- set
- threadsafe
- datastructures
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
A toolbox for zkSNARKs on Ethereum
- zksnarks
- ethereum
- zero-knowledge
- snark
Polkadot's ink! to write smart contracts.
Algorand Smart Contracts in Python
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3
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
Tealang - high level language for Algorand ASC1 and TEAL
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Rapid blockchain prototyping
- blockchain
- toolkit
- crystal
- proof-of-work
Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.
- algokit
- lib
- experimetal
Write Clarity smart contracts using any programing language.
- clarity
- stacks
- stacksjs
- bitcoin-ai
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
An expressive high level language for the Algorand block chain that compiles to TEAL code.
- blockchain
- algorand
- teal
- smartcontract
SyntaxHighlighter brush for Ride language
- wavesplatform
- waves
- ride
- dapps