All

2 repositories

site-yolc.dev
Public
Static website of yolc.dev
SCSS
•0•0•0•0•Updated Jan 6, 2025Jan 6, 2025
yul-dsl-monorepo
Public
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).
haskell compiler dsl category-theory solidity linear-types yul symmetric-monoidal-categories
Haskell
•
Other
•1•15•0•0•Updated Jan 5, 2025Jan 5, 2025