Skip to content

Instantly share code, notes, and snippets.

View azolotko's full-sized avatar
🛠️

Alex Zolotko azolotko

🛠️
  • Zaandam, Netherlands
View GitHub Profile
private val vpc = Vpc("demo-vpc", "172.101.0.0/16")
private val subnet = Subnet("demo-subnet", "172.101.0.0/24", vpc)
private val sshPermission = new IpPermission()
.withIpv4Ranges(new IpRange().withCidrIp("0.0.0.0/32"))
.withIpProtocol("tcp")
.withFromPort(22)
.withToPort(22)
@azolotko
azolotko / nonograms.clj
Last active August 14, 2019 19:29 — forked from skuro/forkme.clj
KS+AZ: Nonograms dojo
(ns nonograms.core
(:require [mikera.image.core :as img]
[mikera.image.colours :as col]))
(def foo (img/load-image-resource "100px-Greek_lc_lamda_thin.png"))
(def w (img/width foo))
(def h (img/height foo))
(def n 20)
@azolotko
azolotko / build.sbt
Last active November 23, 2022 14:21
Generating a scratch-based container image with a GraalVM static native-image binary (via sbt-native-packager's GraalVMNativeImagePlugin and DockerPlugin)
enablePlugins(
GraalVMNativeImagePlugin,
DockerPlugin
)
GraalVMNativeImage / containerBuildImage := Some("ghcr.io/graalvm/native-image")
GraalVMNativeImage / graalVMNativeImageOptions += "--static"
GraalVMNativeImage / packageBin := (GraalVMNativeImage / packageBin).map { f =>
package td4
import weaver.SimpleIOSuite
import cats.syntax.applicative.*
import cats.syntax.flatMap.*
import td4.free.*
import td4.Register.*
object TD4Suite extends SimpleIOSuite:
@azolotko
azolotko / blinky.lean
Last active May 15, 2026 10:59
PIC16 blinky demo
-- ---------------------------------------------------------------------------
-- Blinky demo
-- ---------------------------------------------------------------------------
open asm in
def blinky : Asm := do
let cnt0 : FileRegAddr := 0x20#7
let cnt1 : FileRegAddr := 0x21#7
let outPin : BitAddr := 0x0#3