Awesome Open Source

Programming Languages

Search results for contracts type checking

type-checking x

1 search results found

🏝 automated contract testing via type checking for Elixir functions and mocks

Python Autoclass ⭐ 24

A 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 :).

Scilla Demo ⭐ 7

Scilla Examples and Exercises

Mopx Contracts ⭐ 5

Contracts for mop

Related Searches

Javascript Contracts (4,916)

Contracts Ethereum (3,405)

Contracts Solidity (2,350)

Blockchain Contracts (2,244)

Ethereum Smart Contracts (1,668)

Contracts Truffle (1,509)

Token Contracts (1,494)

Solidity Smart Contracts (1,297)

Contracts Dapp (1,120)

Typescript Contracts (700)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.