Pinned Repositories
Ap-Tamagotchi
About the Tamagotchi that cares about air pollution.
Bahamut-Content-Search
Low-performance code that may burn your browser. but works!
botgpt
ck-judge
dotfiles
hanafuda
Japanese card game for practice
lapa
Linear Algebra Programming Assignment
maze-ganerator
For genarate 3D minecraft maze
reminder-bot
discord bot for youtube live and premiere reminder(using mongoDB and ytApi)
someone-join-mcsrv
Yes just a Webhook sender to tell if someone join the Minecraft server
kryr34's Repositories
kryr34/hanafuda
Japanese card game for practice
kryr34/maze-ganerator
For genarate 3D minecraft maze
kryr34/reminder-bot
discord bot for youtube live and premiere reminder(using mongoDB and ytApi)
kryr34/Ap-Tamagotchi
About the Tamagotchi that cares about air pollution.
kryr34/Bahamut-Content-Search
Low-performance code that may burn your browser. but works!
kryr34/botgpt
kryr34/ck-judge
kryr34/dotfiles
kryr34/Homework-ProJYKt
kryr34/JumpPower
Try to fix something so I don't think I'm useless
kryr34/lapa
Linear Algebra Programming Assignment
kryr34/samples
this is how I pass VHDL exam
kryr34/someone-join-mcsrv
Yes just a Webhook sender to tell if someone join the Minecraft server
kryr34/flake
store my flake.nix
kryr34/ideaboard
https://postgrest.org/en/stable/tutorials/tut0.html
kryr34/linked-list-rs
kryr34/Multiplayer-Three-Gallery
kryr34/pocketbase
Open Source realtime backend in 1 file
kryr34/qemu-debugcon-linux-driver
A Linux driver for the QEMU Debugcon device packaged in Nix.
kryr34/test-mirror
kryr34/the-same-reminder-bot
kryr34/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT