Pinned Repositories
aya-dev
A proof assistant and a dependently-typed language
chester
Trying to make a practical possibly unsound dependently typed language with algebraic effects
CleanMyMacXPatcher
Just crack it
LittleJianCH
Little简Kanren - A Modern typed miniKanren dialect in Scala3
NativePaperMC
Build non-fallback native image for paper spigot with plugins!
Sandboxie-minimum-patch
No Trialware https://github.com/vaginessa/Sandboxie-crack-auto-build
Sandboxie-nosupport
No Trialware
UniversalAMDFormBrowser-Ventoy
UniversalAMDFormBrowser image for ventoy. Based on https://github.com/DavidS95/Smokeless_UMAF
Unofficial-snapshot-Spigot-BuildData-Scripts
unofficial Spigot BuildData for snapshot versions
project
A pixel art game using Swing, an assignment of Program Design and Construction
mio-19's Repositories
mio-19/aur-electerm-bin-electron
mio-19/alarm-ports
port packages from archlinux official repo to alarm
mio-19/aur-android-sdk-deb
mio-19/aur-electerm
mio-19/FPGAinterpC
Experiment: Message-Passing styled Object-Oriented Programming in SpinalHDL and C interpreter in SpinalHDL
mio-19/modernwarfare-capturetheflag
[WIP] Add heavy modern items to the Capture the Flag game of Minetest
mio-19/Juliamo
Experiment: A prototype of yet another strongly typed language with effects
mio-19/UniversalAMDFormBrowser-Ventoy
UniversalAMDFormBrowser image for ventoy. Based on https://github.com/DavidS95/Smokeless_UMAF
mio-19/NekoVoxel
Trying to make a minetest fork with 32bit address space and 1/4 width nodes
mio-19/aur-mesa-adreno
mio-19/aur-mesa-git-adreno
mesa-git with freedreno
mio-19/termux_arch
termux arch chroot script
mio-19/NativePaperMC
Build non-fallback native image for paper spigot with plugins!
mio-19/Unofficial-snapshot-Spigot-BuildData-Scripts
unofficial Spigot BuildData for snapshot versions
mio-19/LittleJianCH
Little简Kanren - A Modern typed miniKanren dialect in Scala3
mio-19/PojavLauncher_iOS_Crack
PojavLauncher Crack
mio-19/CleanMyMacXPatcher
Just crack it
mio-19/ios-lua-launcher
sdl & lua launcher
mio-19/shared.h
reactive c++
mio-19/BlackLineCar
mio-19/rp2040_text_printer
当代艺术驱动器
mio-19/-moveable-sound-source
mio-19/moveable-sound-source-tracker
电赛 broken
mio-19/Anti-AI-Draws
generate dataset to train a classification model that can classify human's and ai's drawings
mio-19/PaddleCar
完全模型 Baidu Paddle things
mio-19/uart.v
uart for verilog based on https://github.com/pConst/basic_verilog
mio-19/goosea
Learning purpose riscv64 (RV64G) emulator written in Scala3
mio-19/MathModelProj
mio-19/qemu-diff
qemu-diff based on https://github.com/NJU-ProjectN/nemu/tree/ics2021/tools/qemu-diff
mio-19/arissc
Clockless RISC-V implementation