Go implementation of Waves node, libraries and tools for Waves blockchain
- blockchain
- cryptography
- decentralized-applications
- smart-contracts
Repository Index
47,133 repositories indexed
49–72 of 124 · Most stars
Leed (contraction de Light Feed) est un agrégateur RSS libre et minimaliste qui permet la consultation de flux RSS de manière rapide et non intrusive.
- rss
- reader
- atom
- leed
Python-based EOS smart-contract development & testing framework
- eos
- smart-contracts
- python
- unit-testing
Working-draft Mail Action Protocol for agent actions through email, with type contracts, a registry, and a validation CLI.
⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓
- awesome
- awesome-list
- algorand
- algorand-blockchain
Elixir library that provides macros which allow you to encapsulate business logic and validate incoming parameters with predefined contract.
- elixir
- coercion
- ddd
- operation-invocation
Know the risk of merging a pull request, and where it lives. Free, open-source CLI and GitHub Action: after your AI review, farol shows the riskiest files, what they reach, diff coverage and contract breaks. TypeScript/React, Go, Python.
- ai-code-review
- cli
- code-review
- developer-tools
The Contract for Building New Function Frameworks
AI-assisted Windows and Chrome GUI delegation for Codex: task contracts, local execution, Jev semantic decisions, recovery and outcome verification.
The repository host gives no description.
- eos
- java
- api-wrapper
- smart-contracts
Integrated Ethereum implementation and tool suite focused on Solidity testing and development.
List of contracts from known projects (work in progress)
graphql-maven-plugin is a Maven Plugin for GraphQL, based on graphql-java. It accelerates the development for both the client and the server, by generating the Java code. It allows a quicker development when in contract-first approach, by avoiding to code the boilerplate code.
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
Framework to automate development of Algorand Assets and Smart Contracts.
- algorand
- algorand-assets
- yarn
- teal
A tool for design-by-contract in Go
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3
GoDoc Live statically analyzes your Go HTTP services — extracts route definitions, request/response contracts, and authentication patterns — then generates beautiful, interactive API documentation.
- docs
- documentation
- documentation-generator
- golang
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
A framework for writing Smart Contracts on Algorand
Clarity of Mind is both an introductory as well as a reference book for the Clarity smart contract language.
Implementing ping between EOS / React.js
- eos
- eos-contracts
- react
- eosio
Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.
- acp
- csa
- rails
- ruby
Let's learn Algorand!