Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell contracts
contracts
x
haskell
x
0 search results found
Dapptools
⭐
1,965
Dapp, Seth, Hevm, and more
Protocol Monorepo
⭐
865
Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.
Act
⭐
211
Smart contract specification language
Marlowe
⭐
170
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
Hydra
⭐
60
Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.
Netrium
⭐
32
Precise description and operational execution of exotic contracts.
Contracts
⭐
31
Symbolic financial contract EDSL
Stablecoin
⭐
30
Tezos stablecoin smart contract
Sword
⭐
22
Sword — A financial derivative language for the blockchain
Lira
⭐
19
Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain
Costlystate
⭐
17
Classroom demonstration of costly state verification in finance
Lib Cdm Event Specification Module
⭐
15
Pact Todomvc
⭐
15
Demo of integrating a JS webapp with the Pact smart contract langauge
Lib Finance
⭐
13
Tezos Btc
⭐
12
Wrapped Bitcoin on Tezos Blockchain
Functional Cryptocurrencies
⭐
10
List of cryptocurrencies and smart contracts using functional programming languages
Kadenamint
⭐
10
Lndr
⭐
10
Lending on the Blockchain
Solidity Cfg Builder
⭐
9
A control-flow graph builder for Solidity smart contracts.
Elara
⭐
9
Elara is a purely-functional programming language targetting the JVM
Consensys Fae
⭐
7
Functional alternative to Ethereum
Language Qux
⭐
7
WIP: Utilities for working with the Qux language
Robonomics Tools
⭐
7
Robonomics network provider software (xrtd) and other cli tools
Elm Ethereum Generator
⭐
6
Generate an elm-ethereum contract interface from your contract's ABI
Solidity Static Analysis
⭐
5
Static analysis for Solidity smart contract with properties as symbolic automata.
1-0 of 0 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.