intsuc Goto Github PK

23w44a_infinite_recursion

Reproduction data packs for MC-266388

aoc2023

Advent of Code 2023

bem

🚧 Provides random access memory and allocator backed by block entities

blocks-samples

blog

A blog about Minecraft

brainpack

A brainfuck to datapack compiler

brigadier

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

compiling-pattern-matching-to-good-decision-trees

An implementation of Compiling Pattern Matching to Good Decision Trees

concat

Concatenates two strings in storage

datapacks

A variety of sample datapacks, from pathological to practical

defunctionalization

Examples of modular defunctionalization

dpll

egraph

An implementation of equality graph

empty_exception_messages

A resource pack to improve command performance

game_packet_executor

A task executor using game packet listener

heap

A memory manager

init

Called on the initial #load after server process startup

inside-out

An algorithm of inside-out bidirectional typing, where types can flow from inside to outside

intsam

A sequential access memory with int cells

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

lambda_d

An experimental implementation of a dependently typed language in Kotlin

lmt-bench

Compare various implementations of list-mapped trie

lwjgl-examples

Examples of LWJGL

mc-kts

Extends Minecraft commands via Kotlin scripting

mcac2023

Minecraft Command Advent Calendar 2023

millis

Calculate the current time in milliseconds modulo 2⁴⁸

nbtscript

An NBT-based programming language

normalization-by-evaluation

An implementation of normalization by evaluation using shared mutable weak hash map