Krever

This is a simplistic setup trying to emulate at least part of i3 behaviour on MacOS using yabai. Key-bindings are partially replicated due to the presence of MacOS built-in bindings

Start with installing (and understanding) following tools

• yabai - https://github.com/koekeishiya/yabai
• skhd - https://github.com/koekeishiya/skhd
• stackline - https://github.com/AdamWagner/stackline

Krever

object DotRenderer {
  def render(graph: Graph): String = {
    graph match {
      case DirectedGraph(strict, id, stmtList) =>
        s"${if (strict) "strict " else ""}digraph ${id.getOrElse("")} {${renderStmtList(stmtList)}}"
      case UndirectedGraph(strict, id, stmtList) =>
        s"${if (strict) "strict " else ""}graph ${id.getOrElse("")} {${renderStmtList(stmtList)}}"
    }
  }

Krever

Scripts are based on python audible lib, install accordign to docs: https://audible.readthedocs.io/en/latest/index.html

1. Modify auth.py with your credentials
2. Run auth.py - your creds will be saved in creds.txt for further calls
3. Run dump_whishlist.py - your whishlist will be saved in whishslist.json
4. Run filter-whishlist-for-sale.py - it will printout all titles below the credit price

Krever

// This is a very minimal example showcasing how we can levarage type members to capture fixed types without the need
// to introduce more type parameters


trait WorkflowContext {
 
  type State
  type Event
  
  // operation that transforms In into Out, while guaranteeing the output is a substate os State

Krever

#!/usr/bin/env bash

scala-cli \
  --power \
  package \
  --native-image \
  --graalvm-java-version 21 \
  --graalvm-version 21.0.2 \
  ./main \
  -o sbadmin2 \