Pinned Loading

1. pre-commit pre-commit Public

   The only `git` pre-commit hook manager you'll need.

   Shell

2. executable-semantics executable-semantics Public

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

   Denotational semantics for the masses

   Scala 2

3. mk mk Public

   Makes stuff

   Rust

4. ce-jutus ce-jutus Public

   Forked from input-output-hk/ce-jutus

   Plutus for the masses (PoC)

   Rust

5. proof-of-product proof-of-product Public

   Scala 3

6. mlpipe mlpipe Public

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

   Scala 1