mio-19

There is nothing here T_T

Aotearoa New Zealand and Australia

Pinned Repositories

aya-dev
A proof assistant and a dependently-typed language
Language:Java291 9 40719
chester
Trying to make a practical possibly unsound dependently typed language with algebraic effects
Language:Scala6 1 01
CleanMyMacXPatcher
Just crack it
Language:Objective-C6 1 01
LittleJianCH
Little简Kanren - A Modern typed miniKanren dialect in Scala3
Language:Scala7 2 01
NativePaperMC
Build non-fallback native image for paper spigot with plugins!
Language:JavaScript4 2 00
Sandboxie-minimum-patch
No Trialware https://github.com/vaginessa/Sandboxie-crack-auto-build
Language:C5 1 01
Sandboxie-nosupport
No Trialware
Language:C10 0 04
UniversalAMDFormBrowser-Ventoy
UniversalAMDFormBrowser image for ventoy. Based on https://github.com/DavidS95/Smokeless_UMAF
46 1 17
Unofficial-snapshot-Spigot-BuildData-Scripts
unofficial Spigot BuildData for snapshot versions
Language:JavaScript6 2 02
project
A pixel art game using Swing, an assignment of Program Design and Construction
Language:Java4 1 02

mio-19's Repositories

mio-19/OpenWRT-LEDE-Newifi-D2
Daily build. LEDE for Newifi D2
Language:Shell
mio-19/inner-posts
moved to https://github.com/tsao-chi/inner
Language:Python
mio-19/scala-nat
unsigned BigInt
Language:Scala
mio-19/Unofficial-snapshot-Spigot-BuildData
unofficial Spigot BuildData for snapshot versions
41