Pinned

1. ce-semantics-dsl ce-semantics-dsl Public

   Forked from input-output-hk/ce-semantics-dsl

   Denotational semantics for the masses

   Scala 2

2. ce-jutus ce-jutus Public

   Forked from input-output-hk/ce-jutus

   Plutus for the masses

   Rust

3. proof-of-product proof-of-product Public

   Scala 3

4. mlpipe mlpipe Public

   Forward pipe operator |>, as in F# and OCaml

   Scala 1

5. Logger with nested contexts Logger with nested contexts

   1

   // Author: github.com/loverdos

   2

   // SPDX-License-Identifier: Apache-2.0

   3

   4

   import java.io.PrintStream

   5

6. mk mk Public

   Makes stuff

   Rust