Skip to content

Instantly share code, notes, and snippets.

View LeeeeT's full-sized avatar
๐Ÿ˜Ž
๐Ÿ˜Ž

LeeeeT

๐Ÿ˜Ž
๐Ÿ˜Ž
View GitHub Profile
@LeeeeT
LeeeeT / AGENTS.md
Last active October 1, 2026 23:21
my best

%project_name%

Rules

1. Select quality before stability

This repository has no compatibility requirements. Make a breaking change when it gives the system a better design. Change the architecture or add a dependency when this improves the result.

@LeeeeT
LeeeeT / sic.py
Last active April 27, 2026 12:55
k-SIC + REF
import itertools
from collections.abc import Callable
from dataclasses import dataclass
type Location = int
location = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active April 27, 2026 19:55
k-SIC + CNT (really counts) + REF + EVA
import itertools
from collections.abc import Callable
from dataclasses import dataclass
type Location = int
location = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active March 10, 2026 23:33
k-SIC + CNT + REF + EVA
import itertools
from collections.abc import Callable
from dataclasses import dataclass
type Location = int
location = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active March 10, 2026 16:59
k-SIC + CNT + EVA
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active April 27, 2026 12:36
k-SIC + readback + collapse
import itertools
from collections.abc import Callable
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active February 10, 2026 23:20
k-SIC + unordered ฮด + refcount (really counts)
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / sic.py
Last active February 15, 2026 12:33
k-SIC + unordered ฮด + refcount
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / gc.py
Last active January 31, 2026 23:57
k-SIC + Opportunistic Swap
import itertools
from dataclasses import dataclass
type Name = int
name = itertools.count()
@LeeeeT
LeeeeT / in.py
Last active January 18, 2026 19:04
Token-passing Optimal Reduction
import itertools
from dataclasses import dataclass
from typing import NewType
type Name = int
name = itertools.count()