Pinned Repositories
EduHopeSG
eduhope website
forum
glGames
Games for GL!!! :D
hilberts-axioms
keto-explorer
A playground to experiment and understand Ory Keto better
Physics-Olympiad-Notes
TeX files for my notes
pwdlogy
A victims'-profile-based wordlist generating tool for social engineers and security researchers!
twig-client
TWIG client and main user interface
twig-research
Experimental crawler prototypes go here.
twig-server
TWIG Backend and API, powering the frontend
tch1001's Repositories
tch1001/keto-explorer
A playground to experiment and understand Ory Keto better
tch1001/Physics-Olympiad-Notes
TeX files for my notes
tch1001/EduHopeSG
eduhope website
tch1001/SPhO-TYS
tch1001/tch1001.github.io
tch1001/abacus-app
tch1001/angelmortal
telegram bot for angel mortal game
tch1001/arena-rosnav
tch1001/blog2
tch1001/build-your-own-benn
tch1001/circuit-sandbox
tch1001/greyhats2024blockchain_foundry
greyhats 2024 ctf blockchain challenges but ran with forge test instead of on testnet
tch1001/hoo-app
tch1001/kdev
Kernel Dev Experiments
tch1001/kernel
tch1001/lean4-tictactoe
tch1001/lean4-tutorials
Some Lean tutorials
tch1001/leanprover
tch1001/micah
tch1001/poker
tch1001/Project-Pascal-Physics-Olympiad
tch1001/proxmark3
Iceman Fork - Proxmark3
tch1001/quantum
tch1001/sicp
meow
tch1001/snake-ai
Goal is to create a snake game algorithm that completes the game in the least number of moves
tch1001/ssh-over-telegram
tch1001/tchlabs.net
tch1001/ticket_tracker_api
Concert ticket price tracking based on Ticketmaster real-time best seats
tch1001/webutils
tch1001/xv6-experiments