Pinned Loading

1. Public Talks Public Talks

   1

   - [Yolc - A safe, expressive, fun language for Ethereum](#file-01-yolc-a-new-way-md)

   2

   - [Comparisons of Continuous-Time Swap Designs](#file-02-continuous-time-swap-designs-md)

   3

   - [Create Frictionless Money](#file-03-create-frictionless-money-md)

   4

   - [Generalized Payment as Types](#file-04-generalized-payment-as-types-md)

   5

   - [Pure Functional Solidity for Fun and Profit](#file-11-pure-fp-solidity-md)

2. superfluid-finance/protocol-monorepo superfluid-finance/protocol-monorepo Public

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

   TypeScript 877 240

3. solc.nix solc.nix Public

   Providing assorted versions of solidity compilers (solc).

   Nix 17 10

4. yolc-dev/yul-dsl-monorepo yolc-dev/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 25 2

5. THSH THSH Public

   A "noDSL" approach to mixing shell scripting with Haskell programs using Template Haskell

   Haskell 6