Andi Miller andimiller

Senior Software Engineer

andimiller / sodium.scala

Last active June 25, 2024 23:44

	import scala.scalanative.unsafe.*
	import scala.scalanative.unsigned.*

	// Raw bindings
	@link("sodium")
	@extern
	object libsodium {

	def sodium_init(): CInt = extern

andimiller / chat.scala

Created February 21, 2024 15:12

	package net.andimiller.examples.htmx
	package chat

	import cats.implicits._
	import cats.effect._
	import org.http4s.{FormDataDecoder, HttpRoutes}
	import org.http4s.dsl.Http4sDsl
	import HTML._
	import org.http4s.FormDataDecoder.{field, formEntityDecoder}

andimiller / ducks.lua

Created March 9, 2022 21:08

	-- Represents a chainable functional stream
	-- mutable versions of methods are available under .mutate
	function Stream(tbl)
	stream = { values = tbl, mutate = {} }
	function stream.mutate.map(f)
	transform(stream.values, f)
	return stream
	end
	function stream.map(f)
	stream.values = map(stream.values, f)

andimiller / tilegame.lua

Last active March 9, 2022 00:08

	import "CoreLibs/object"
	import "CoreLibs/graphics"
	import "CoreLibs/sprites"
	import "CoreLibs/timer"

	local gfx <const> = playdate.graphics

	-- playdate.display.setScale(2)

	tiles = gfx.imagetable.new('tiles/farm')

andimiller / calculator.scala

Created October 22, 2021 21:34

	import cats.parse.Parser
	import cats.implicits.*
	import cats.*
	import higherkindness.droste.*

	object Calculator extends App:
	// normal expression data structure
	enum Expr:
	case Add(a: Expr, b: Expr)
	case Mul(a: Expr, b: Expr)

andimiller / recursive-json-with-circe-and-droste.scala

Created November 5, 2019 18:17

	/*
	name := "circe-droste-parser"

	version := "0.1"

	scalaVersion := "2.12.8"

	libraryDependencies += "io.circe" %% "circe-rs" % "0.12.3"
	libraryDependencies += "io.circe" %% "circe-literal" % "0.12.3"
	libraryDependencies += "io.circe" %% "circe-parser" % "0.12.3"

andimiller / Result.java

Created July 24, 2019 11:52

	import java.util.function.Function;
	import java.util.Optional;


	class Result<L, R> {
	enum State {
	Left,
	Right
	}
	private final State state;

andimiller / sized.scala

Created October 19, 2018 16:51

sized decoder for http4s

	case class Sized[T](bytes: Long, value: T)

	object Sized {
	implicit def sizedEntityDecoder[F[_] : FlatMap, T](implicit dec: EntityDecoder[F, T], F: Sync[F]): EntityDecoder[F, Sized[T]] =
	new EntityDecoder[F, Sized[T]] {
	override def decode(msg: Message[F], strict: Boolean): DecodeResult[F, Sized[T]] = {
	EitherT(
	for {
	counter <- F.delay {
	new LongAdder()

andimiller / typesafebuilder.scala

Last active October 14, 2018 16:38

	object TypeSafeBuilder {

	sealed trait BuilderStatus
	object Satisfied extends BuilderStatus
	object NotSatisfied extends BuilderStatus

	case class Cat(name: String, age: Int)

	object CatBuilder {
	def apply() = new CatBuilder[NotSatisfied.type, NotSatisfied.type](None, None)

andimiller / gadt.scala

Created March 13, 2018 14:39

	/**
	A quick example of practical GADT use in Dotty

	val dottyVersion = "0.7.0-RC1"
	val scala212Version = "2.12.4"

	lazy val root = (project in file(".")).
	settings(
	name := "dotty-cross",
	version := "0.1.0",