Daily General Discussion - May 9, 2021

• crypto-fees

  452 107 0.0 TypeScript

  Website for comparing total daily fees of various blockchain protocols.

Holy crap, just took a look at https://cryptofees.info/

• info

  75 322 3.8 JavaScript

  ℹ️ Uniswap v1+v2 analytics

  

https://info.uniswap.org/#/ Go here, type in the pair you want (make sure it has high liquidity so you don't get scammed. Hit Trade. Approve spending which is like $10-20, and then submit the trade. $50-60 at current prices

• SurveyJS

  surveyjs.io featured

  Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

  

• ethereum_formal_verification_overview

  3 310 3.4

  Overview of the formal verification projects in the Ethereum ecosystem.

Found some links here. And here is an example of a higher level language that does its own formal verification.

• reach-lang

  40 587 5.2 Haskell

  Reach: The Safest and Smartest DApp Programming Language

  

Found some links here. And here is an example of a higher level language that does its own formal verification.

Suggest a related project