intsuc

blog

A blog about Minecraft

lambda_d

An experimental implementation of a dependently typed language in Kotlin

mc-kts

Extends Minecraft commands via Kotlin scripting

millis

Calculate the current time in milliseconds modulo 2⁴⁸

VanillaFree

Reduce the memory footprint of unused vanilla resources

game_packet_executor

A task executor using game packet listener

mcac2023

Minecraft Command Advent Calendar 2023

nbtscript

An NBT-based programming language

vscode-symbol

Add a document symbol to every file

webgpu-synth

A simple synthesizer powered by WebGPU

23w44a_infinite_recursion

Reproduction data packs for MC-266388

_Init

Execute functions on initialization

aoc2023

Advent of Code 2023

bem

🚧 Provides random access memory and allocator backed by block entities

blocks-samples

brigadier

Brigadier is a command parser & dispatcher, designed and developed for Minecraft: Java Edition.

concat

Concatenates two strings in storage

datapacks

A variety of sample datapacks, from pathological to practical

Defunctionalization

Examples of modular defunctionalization

egraph

An implementation of equality graph

empty_exception_messages

A resource pack to improve command performance

init

Called on the initial #load after server process startup

intsuc

My special repository

intsuc.dev

A repository for intsuc.dev

is_safe_string

A proof-of-concept data pack to check if a string is valid modified UTF-8

lmt-bench

Compare various implementations of list-mapped trie

tick-order

truffle

Embed Truffle languages in Minecraft

unified-bidirectional-elaboration

works

My works