#
contracts
Here are 323 public repositories matching this topic...
pschanely
commented
Jan 4, 2021
Today, many string methods cause symbolic strings to be "materialized" (the symbolic string becomes a concrete string and then gets handed to the native string implementation).
For some of these operations, this is likely the best we can do, but others may be implementable with the SMT solver directly. This is a list of those methods, and we'll check them off when we've decided that we have th
testing
mock
unit-testing
typechecker
elixir
contract
behaviour
contracts
type-checking
mocks
contract-testing
behaviours
typechecking
dialyzer
mox
type-checker
typespec
behaviour-typespec
typespecs
explicit-contracts
-
Updated
Jun 19, 2021 - Elixir
Design by contract for Python with static checker and tests' generation.
python
validation
interface
functional-programming
linter
decorators
property-based-testing
flake8
post
pythonic
contracts-programming
contracts
invariant
dbc
design-by-contract
pre
deal
-
Updated
Jul 12, 2021 - Python
Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list maintained by vuejs of awesome things related to the Vue.js framework, and Awesome List [https://awesomelists.net/150-Vue.js/3863-Open+Source/18749-DOkwufulueze-eth-vue], this Truffle Box provides everything you need to quickly build Ethereum dApps that have authentication features with vue, including configuration for easy deployment to the Ropsten Network. It's also Gravatar-enabled. Connecting to a running Ganache blockchain network from Truffle is also possible -- for fast development and testing purposes. Built on Truffle 5 and Vue 3, eth-vue uses vuex for state management, vuex-persist for local storage of app state, and vue-router for routing. Authentication functionalities are handled by Smart Contracts running on the Ethereum blockchain.
boilerplate
vuejs
ethereum
dapp
blockchain
truffle
vuex
vue-components
vue-router
ethereum-contract
contracts
web3
ethereum-dapp
truffle-framework
eth-vue
vuex-persist
-
Updated
May 28, 2021 - JavaScript
Influential papers in decentralized systems (cryptocurrencies, contracts, consensus, etc.)
-
Updated
Feb 7, 2018
Accord Project Smart Templates Implementation
legal
parse
templates
ethereum
blockchain
hyperledger
contracts
cicero
corda
legaltech
clause
smartcontracts
tezos
accord-project
legal-templates
digital-asset
cicero-engine
-
Updated
Jul 5, 2021 - JavaScript
LexPredict ContraxSuite
-
Updated
Jun 24, 2021 - C#
-
Updated
Apr 5, 2020 - JavaScript
开源合同管理系统,基于华炎魔方开发,多租户,云服务
-
Updated
Jun 4, 2021 - JavaScript
Validate Method Arguments & Results in Ruby
-
Updated
Dec 30, 2020 - Ruby
A collection about all things Diem (formerly Libra), Move & Facebook Zuckerbucks - Let's reinvent money with fast and cheap world-wide transfers; let's bank the 1.7 billion unbanked, ...
-
Updated
May 13, 2021
A complex deployment facility for Ethereum smart-contract development.
-
Updated
Nov 27, 2017 - JavaScript
Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.
javascript
immutable
nim
testing-tools
hardening
contracts-programming
contracts
security-hardening
assertion-library
immutable-objects
nim-lang
testing-framework
design-by-contract
hardened
nimscript
self-test
compiletime
-
Updated
Jun 21, 2020 - Nim
Ethereum contract ABI to gRPC protobuf IDL transpiler
protobuf
ethereum
grpc
solidity
contracts
go-ethereum
protocol-buffer
solidity-contracts
solidity-abi
-
Updated
Jul 6, 2018 - Go
Programming 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...
puzzle
blockchain
pyramid
contracts
ponzi-scheme
roulette
lotteries
casino
ponzi
universum
pyramid-scheme
ponzis
pyramids
casinos
satoshi-dice
-
Updated
Jan 2, 2021 - Ruby
Design by Contract for Crystal
-
Updated
May 14, 2021 - Crystal
A tool to generate the grpc server code for a contract
-
Updated
Jun 1, 2018 - Go
Partial Lenses Validation is a JavaScript library for validating and transforming data
-
Updated
Jan 5, 2019 - JavaScript
Secure Electronic Voting using Azure Blockchain
microsoft
ethereum
blockchain
verification
vote
portal
election
ethereum-contract
contracts
candidate
cast
proposals
ethereum-blockchain
azure-blockchain
codefundo
codefundopp
election-process
aadhaar-api
-
Updated
Aug 20, 2019 - Python
Improve this page
Add a description, image, and links to the contracts topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the contracts topic, visit your repo's landing page and select "manage topics."
Hey everyone, I hope y'all enjoyed your holidays.
I want to create SuiteCRM users via the V8 api, but the response is invalid json and contains some generic validation error message.
I'm not sure whether my request is actually malformed or the error message just shouldn't appear.