Awesome Open Source

Programming Languages

Search results for haskell solidity

8 search results found

Protocol Monorepo ⭐ 865

Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.

Ethereum Analyzer ⭐ 11

An Ethereum contract analyzer.

Lending on the Blockchain

Solidity Cfg Builder ⭐ 9

A control-flow graph builder for Solidity smart contracts.

Ethereum-based weather insurance for WarwickHack 17

Yul Dsl Monorepo ⭐ 6

The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.

Solidity Static Analysis ⭐ 5

Static analysis for Solidity smart contract with properties as symbolic automata.

Related Searches

Ethereum Solidity (2,843)

Contracts Solidity (2,350)

Javascript Solidity (1,991)

Blockchain Solidity (1,374)

Solidity Smart Contracts (1,297)

Haskell Ghc (1,289)

Types Haskell (1,028)

Solidity Truffle (943)

Language Haskell (853)

Solidity Dapp (848)

1-8 of 8 search results

Privacy | About | Terms | Follow Us On Twitter

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