Ziteng Zetten Wang's repositories
Terraria-Map-Editor
Simplified Chinese localization of TEdit; Terraria 地图编辑器 中文版
XPS-9560-OpenCore
OC configurations for Dell XPS 15 9560 (experimental workaround for Thunderbolt 3)
tmodloader-mod-localizer
Assembly modifications based translator for non-open sourced mods
RegionTrigger
RegionTrigger is a TShock-based plugin aimed to trigger special events when players enter a region.
vscode-elsa-lang
Syntax highlighting support for Elsa
AlternativeCommandExecution
Short commands and switch commands for TShock server
MessageSender
Send messages to player
no-triton-you
A .Net Standard library to manipulate WebReg
Philosophyz
服务器角色存档变换工具
PlotMarker
Give players free areas in Terraria server
program-synthesis-nur
Nix Derivations of Common Program Synthesis Tools
AutoLifter
Nix derivation for AutoLifter
build-ghc-no-omit-yields
Scripts for building binary distributions of GHC with -fno-omit-yields on `base` library
cse-pa-lint
Detect and fix possible style in-correction in programming assignments.
DeadlockDetector
Deadlock detector for tshock server
EUSolver
Nix derivation for the original EUSolver: https://bitbucket.org/abhishekudupa/eusolver/
hie-docker
Dockerfile configurations for Haskell IDE Engine in VSCode
hoogle_plus
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
parsynt
Nix derivation for 'parsynt: Automatic parallel divide-and-conquer programs synthesizer'
sioyek
Sioyek is a PDF viewer designed for reading research papers and technical books.
Synduce
Nix derivation for 'Synduce: An automatic recursive function transformer'
TeleportRestriction
限制区域内传送