adhesion-rsD-inspired contract programming in Rust using macros
Stars: ✭ 49 (+75%)
nim-contraLightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
Stars: ✭ 46 (+64.29%)
ethereum-erc20Fungible token implementation for the Ethereum blockchain.
Stars: ✭ 27 (-3.57%)
erc721The reference implementation of the ERC-721 non-fungible token standard.
Stars: ✭ 989 (+3432.14%)
laravel-web3Laravel SDK wrapper for the Web3 PHP API client that interacts with the Ethereum blockchain.
Stars: ✭ 85 (+203.57%)
djburgerFramework for safe and maintainable web-projects.
Stars: ✭ 75 (+167.86%)
ethereum-crowdsale0xcert protocol crowdsale contracts for Ethereum blockchain.
Stars: ✭ 15 (-46.43%)
SpecIdeLet's try something with SFML.
Stars: ✭ 27 (-3.57%)
Light.GuardClausesA lightweight .NET library for expressive Guard Clauses.
Stars: ✭ 68 (+142.86%)
programming-crypto-contractsProgramming Crypto Blockchain Contracts Step-by-Step Book / Guide. Let's Start with Ponzi & Pyramid Schemes. Run Your Own Lotteries, Gambling Casinos and more on the Blockchain World Computer...
Stars: ✭ 54 (+92.86%)
ufwA minimalist framework for rapid server side applications prototyping in C++ with dependency injection support.
Stars: ✭ 19 (-32.14%)
texugo🦡 Fast, flexible, multiplatform, lightweight and, dependency-free message gateway
Stars: ✭ 18 (-35.71%)
python-autoclassA python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).
Stars: ✭ 30 (+7.14%)
create-hq20-dapp🌿 This is the TechHQ dapp starter kit All you need in a nut🐚
Stars: ✭ 29 (+3.57%)
mtxclientClient API library for Matrix, built on top of Boost.Asio
Stars: ✭ 21 (-25%)
ap-monorepoMonorepo containing all packages related to the ACTUS Protocol
Stars: ✭ 15 (-46.43%)
notaryA contracts broker that provides a declarative way of sharing, validating & discovering contracts between multiple projects.
Stars: ✭ 16 (-42.86%)
asio-extensionsAdditional functionality built on top of (Boost.)Asio
Stars: ✭ 16 (-42.86%)
crystal-clearDesign by Contract for Crystal
Stars: ✭ 45 (+60.71%)
getboostNuGet packages for Boost framework.
Stars: ✭ 49 (+75%)
Boost-Python-ExamplesImplementation of C++ Boost Python Examples, With python3.5+ support
Stars: ✭ 34 (+21.43%)
frameworkLightweight, open source and magic-free framework for testing solidity smart contracts.
Stars: ✭ 36 (+28.57%)
concurrent-resourceA header-only C++ library that allows easily creating thread-safe, concurrency friendly resources.
Stars: ✭ 17 (-39.29%)
build-scriptsUtility scripts for building of 3rd-party libraries
Stars: ✭ 33 (+17.86%)
ContractsMetarhia core docs and contracts specifications 📒
Stars: ✭ 26 (-7.14%)
tonos-seLocal Node for Everscale DApp development and testing
Stars: ✭ 29 (+3.57%)
commonppSmall library helping you with basic stuff like getting metrics out of your code, thread naming, etc.
Stars: ✭ 29 (+3.57%)
zorkFull C++-17 port of the 616-point version of Zork from MIT circa 1978-1981
Stars: ✭ 16 (-42.86%)
CryptoLogosHundreds of crypto logos simply named by their normalized contract address
Stars: ✭ 14 (-50%)
quid-pro-quoA contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
Stars: ✭ 85 (+203.57%)
crypto-booksBest of Crypto Books - A collection of books, white papers & more about crypto and blockchains.
Stars: ✭ 40 (+42.86%)
clausejsWrite contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.
Stars: ✭ 29 (+3.57%)
python-valid8Yet another validation lib ;). Provides tools for general-purpose variable validation, function inputs/outputs validation as well as class fields validation. All entry points raise consistent ValidationError including all contextual details, with dynamic inheritance of ValueError/TypeError as appropriate.
Stars: ✭ 24 (-14.29%)
node-movehubNode.js interface for the Lego Boost Move Hub 🤖 🐱 🎸 🚚
Stars: ✭ 57 (+103.57%)
ethereum-dexDecentralized exchange implementation for the 0xcert protocol on the Ethereum blockchain.
Stars: ✭ 18 (-35.71%)
ruby-to-michelson(Secure) Ruby to Liquidity w/ ReasonML Syntax / Michelson (Source-to-Source) Cross-Compiler Cheat Sheet / White Paper
Stars: ✭ 16 (-42.86%)
malloyA C++ library providing embeddable server & client components for both HTTP and WebSocket.
Stars: ✭ 29 (+3.57%)
libhttpserverA simple, easy to use C++ 11 based HTTP web server
Stars: ✭ 19 (-32.14%)
tbagTea-bag is Third party extension utility project
Stars: ✭ 13 (-53.57%)
axmldecStand-alone binary AndroidManifest.xml decoder
Stars: ✭ 151 (+439.29%)
FFmpegPlayerSimple FFmpeg video player
Stars: ✭ 72 (+157.14%)
scelta(experimental) Syntactic sugar for variant and optional types.
Stars: ✭ 140 (+400%)
crypto3Modern Cryptography Suite in C++17
Stars: ✭ 21 (-25%)
boost-wintlsNative Windows TLS stream wrapper for use with boost::asio
Stars: ✭ 24 (-14.29%)
static stringA fixed capacity dynamically sized string
Stars: ✭ 46 (+64.29%)
Mimick.FodyAn integrated framework for dependency injection and aspect-oriented processing.
Stars: ✭ 15 (-46.43%)
ZeroMQ🚀 Client/Server & Pub/Sub Examples with ZeroMQ & Boost
Stars: ✭ 33 (+17.86%)
purposePurpose and DUBI, ethereum tokens aiming to make the world a better place
Stars: ✭ 35 (+25%)
boostBoost Maven and Gradle plugins for MicroProfile development
Stars: ✭ 27 (-3.57%)
boost beast websocket echoA collection of Demo applications to try to help you understand how Asio and Beast work
Stars: ✭ 12 (-57.14%)
Open-Infra-PlatformThis is the official repository of the open-source Open Infra Platform software (as of April 2020).
Stars: ✭ 26 (-7.14%)
CodeContracts.MSBuildStandalone MSBuild integration of CodeContracts (by Microsoft Research)
Stars: ✭ 16 (-42.86%)
type indexRuntime/Compile time copyable type info.
Stars: ✭ 20 (-28.57%)
ParaphraseMulti-core suitable Forth-like language
Stars: ✭ 27 (-3.57%)