MikuroXina’s gists

MikuroXina / gsc_president.lecture

Created October 16, 2025 11:40

A lecture file inspired by Blue Archive.

	責任を負うものについて、話したことがありましたね。
	先生は、シッテムの箱のシステム管理者であるA.R.O.N.Aさんから
	次の3点について講習を受けませんでしたか？
	#1) 他人のプライバシーを尊重すること。
	#2) タイプする前に考えること。
	#3) 大きな力には大いなる責任が伴うこと。

	？「にははは……！大きな力だあ……！え？大いなる責任？なんですかそれ？」

MikuroXina / dunno.rs

Created August 1, 2025 19:40

An interpreter of Dunno.

	#[derive(Debug, Clone)]
	enum Expr {
	Int(u32),
	Succ,
	Apply(Box<Expr>, Box<Expr>),
	Comp(Box<Expr>, Box<Expr>),
	Times(Box<Expr>, Box<Expr>),
	}

	enum ExprRes {

MikuroXina / bench.rs

Created July 11, 2025 04:07

Simple back copy vs memmove in Rust.

	//! Execution result:
	//! ```
	//! running 2 tests
	//! test bench1 ... bench: 0.31 ns/iter (+/- 0.00)
	//! test bench2 ... bench: 0.34 ns/iter (+/- 0.09)
	//! ```

	#![feature(test)]

	extern crate test;

MikuroXina / subtitle_placer.lua

Last active June 26, 2025 10:52

Subtitle Text+ clips auto-placer for DaVinci Resolve. It needs to place audio clips manually, but automates corresponding subtitles from your template caption Text+ clip.

	-- Original: https://zenn.dev/kirimin/articles/3abcada2b1646f by kirimin https://github.com/kirimin

	-- convention of voice/text file: "num_character_content" + ".wav" or ".txt"

	-- Replace configs here
	local TEXT_DIR = "/Users/mikuroxina/Documents/Projects/Scripts/pencil-puzzles/05/voices/" -- folder contains txt and wav
	local AUDIO_TRACK = 2 -- number of audio track placed character voices
	local CHARACTERS = { "中国うさぎ" } -- names of character, used in file name

	-- --------------------------------------------------

MikuroXina / int.rs

Last active June 24, 2025 01:54

Type level integer with phantom types in Rust.

	use std::marker::PhantomData;

	#[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
	pub enum Z {}
	#[derive(Debug, Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
	pub struct S<Z>(PhantomData<Z>);

	/// `Int<M, N>` represents an integer `M - N`.
	#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, Default)]
	pub struct Int<M, N>(i64, PhantomData<(M, N)>);

MikuroXina / ceil_sqrt.rs

Created May 11, 2025 18:26

Finds the ceiling value of square root with Rust.

	/// Finds the ceiling value of square root of `n`.
	pub fn ceil_sqrt(n: i64) -> i64 {
	let mut base = (n as f64).sqrt() as i64 - 1;
	while (base + 1) * (base + 1) <= n {
	base += 1;
	}
	base
	}

MikuroXina / parser.hs

Last active April 28, 2025 15:30

An implementation of parser combinator with Haskell.

	{-# LANGUAGE LambdaCase #-}
	{-# OPTIONS_GHC -Wno-name-shadowing #-}

	module Lib (
	(+++),
	chainL,
	chainR,
	char,
	delimited,
	integer,

MikuroXina / interpreter.hs

Last active July 28, 2025 14:10

An AST interpreter example for language with scoped variables and addition, subtraction, logical and/or.

	import Control.Monad.State.Lazy
	import Data.Map.Strict qualified as Map
	import Data.Maybe

	-- Operator token in AST
	data Op = Plus \| Minus \| And \| Or deriving (Show)

	-- Variable name in AST
	newtype VarName = VarName String deriving (Show, Ord, Eq)

MikuroXina / sized_array.ts

Created March 4, 2025 06:58

A Fixed-size Array type for TypeScript.

	export type SizedArray<N extends number, T> = SizedArrayInner<N, T, []>;

	type SizedArrayInner<
	N extends number,
	T,
	Acc extends unknown[],
	> = N extends PositiveInteger<N>
	? number extends N
	? T[]
	: N extends Acc["length"]

MikuroXina / peace_for_all.go

Last active March 1, 2025 02:12

The (unofficial) completed Golang code written in an UNIQLO Akamai PEACE FOR ALL T-shirt.

	package main

	import (
	"fmt"
	"html"
	"log"
	"net/http"
	"strconv"
	"strings"
	"time"

Mikuroさいな MikuroXina