Pinned Repositories
blog
A blog about Minecraft
Heap
A memory manager
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
intsuc's Repositories
intsuc/blog
A blog about Minecraft
intsuc/lambda_d
An experimental implementation of a dependently typed language in Kotlin
intsuc/mc-kts
Extends Minecraft commands via Kotlin scripting
intsuc/millis
Calculate the current time in milliseconds modulo 2⁴⁸
intsuc/VanillaFree
Reduce the memory footprint of unused vanilla resources
intsuc/game_packet_executor
A task executor using game packet listener
intsuc/mcac2023
Minecraft Command Advent Calendar 2023
intsuc/nbtscript
An NBT-based programming language
intsuc/vscode-symbol
Add a document symbol to every file
intsuc/webgpu-synth
A simple synthesizer powered by WebGPU
intsuc/23w44a_infinite_recursion
Reproduction data packs for MC-266388
intsuc/_Init
Execute functions on initialization
intsuc/aoc2023
Advent of Code 2023
intsuc/bem
🚧 Provides random access memory and allocator backed by block entities
intsuc/blocks-samples
intsuc/brigadier
Brigadier is a command parser & dispatcher, designed and developed for Minecraft: Java Edition.
intsuc/concat
Concatenates two strings in storage
intsuc/datapacks
A variety of sample datapacks, from pathological to practical
intsuc/Defunctionalization
Examples of modular defunctionalization
intsuc/egraph
An implementation of equality graph
intsuc/empty_exception_messages
A resource pack to improve command performance
intsuc/init
Called on the initial #load after server process startup
intsuc/intsuc
My special repository
intsuc/intsuc.dev
A repository for intsuc.dev
intsuc/is_safe_string
A proof-of-concept data pack to check if a string is valid modified UTF-8
intsuc/lmt-bench
Compare various implementations of list-mapped trie
intsuc/tick-order
intsuc/truffle
Embed Truffle languages in Minecraft
intsuc/unified-bidirectional-elaboration
intsuc/works
My works