GitHub - yolc-dev/yul-dsl-monorepo: The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

yolc-dev / yul-dsl-monorepo Public

Notifications You must be signed in to change notification settings
Fork 3
Star 33

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

yolc.dev

Unknown, MIT licenses found

Licenses found

33 stars 3 forks Branches Tags Activity

Star

Notifications

About

The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).

yolc.dev

haskell compiler dsl category-theory solidity linear-types yul symmetric-monoidal-categories

Readme

Unknown, MIT licenses found