Awesome Open Source

Programming Languages

Search results for scala contracts

0 search results found

The Daml smart contract language

Stainless ⭐ 339

Verification framework and tool for higher-order Scala programs

Fintrospect ⭐ 84

Implement fast, type-safe HTTP webservices for Finagle

Web3j Scala ⭐ 69

Lightweight and idiomatic Scala wrapper around Web3J for Ethereum.

Scala Contracts ⭐ 36

A port of http://web.archive.org/web/20130326233424/http://c an implementation of Composing contracts: an adventure in financial engineering, by Simon Peyton Jones

Verification and Generation of Smart Contracts using Stainless and Scala

Tronscan Api ⭐ 20

Jsentric ⭐ 15

Json contract patterns, validation, lenses and query

Rsong Proxy ⭐ 10

http to Rholang Proxy for Rchain Contracts

Compiler Interface ⭐ 9

a binary contract between Zinc and Scala Compilers

Contract Testing ⭐ 9

An experiment of contract testing using pact

Rsong Acquisition ⭐ 6

RSong Asset Acquisition

Scala, JavaScript and Clojure somehow working together to help you adopt space pets

1-0 of 0 search results

Privacy | About | Terms | Follow Us On Twitter

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