Pinned Repositories
Chameleon
Alternative logging way for TShock server
DynamicSpriteFontGenerator
Generate custom font for Terraria with no dependencies required.
program-synthesis-nur
Nix Derivations of Common Program Synthesis Tools
spksrc-deprecated
Configurations for spksrc to compile open-vm-tools for the Synology DSM running on ESXi
Terraria-Map-Editor
Simplified Chinese localization of TEdit; Terraria 地图编辑器 中文版
tmodloader-mod-localizer
Assembly modifications based translator for non-open sourced mods
TShock
Simplified Chinese localization of TShock.
XPS-9560-OpenCore
OC configurations for Dell XPS 15 9560 (experimental workaround for Thunderbolt 3)
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Opera
Code repository for 'From Batch to Stream: Automatic Generation of Online Algorithms' https://arxiv.org/abs/2404.04743
mistzzt's Repositories
mistzzt/DynamicSpriteFontGenerator
Generate custom font for Terraria with no dependencies required.
mistzzt/spksrc-deprecated
Configurations for spksrc to compile open-vm-tools for the Synology DSM running on ESXi
mistzzt/FixConsoleOutputForWin7
Fix TSAPI's non-english character output problem