Skip to content
View loverdos's full-sized avatar

Block or report loverdos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
loverdos/README.md

Hi there 👋

Pinned Loading

  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