Pinned Loading

1. Public Talks Public Talks

   1

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

   2

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

   3

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

   4

   - [Generalized Payment as Types](#file-03-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 242

3. solc.nix solc.nix Public

   Providing assorted versions of solidity compilers (solc).

   Nix 17 10

4. yul-dsl-monorepo yul-dsl-monorepo Public

   The monorepo of YulDSL (a DSL for Solidity/Yul), and yolc (a safe, expressive, fun language for Ethereum using YulDSL/Haskell).

   Haskell 12 1

5. THSH THSH Public

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

   Haskell 6