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/Sandboxie-nosupport
No Trialware
Language:C10 0 04
mio-19/Sandboxie-minimum-patch
No Trialware https://github.com/vaginessa/Sandboxie-crack-auto-build
Language:C5 1 01
mio-19/aur-patches-aarch64
My local PKGBUILD for aarch64
Language:Shell1 1 1
mio-19/mio-19
1 1 0
mio-19/MusicScore
0 1 00
mio-19/aseprite_builder
Builds aseprite using GitHub actions
0 0
mio-19/aur-apk-editor-studio
Language:Shell1 0
mio-19/aya-dev
A proof assistant and a dependently-typed language
mio-19/box86
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
Language:C0 0
mio-19/clash-verge-rev
Continuation of Clash Verge - A Clash Meta GUI based on Tauri (Windows, MacOS, Linux)
Language:TypeScript0 0
mio-19/crying-cat
😿
Language:TypeScript
mio-19/dotty-cps-async
experimental CPS transformer for dotty
mio-19/ECG-Arrhythmia-Classification-in-2D-CNN
This is an implementation based on this paper, "ECG arrhythmia classification using a 2-D convolutional neural network", Tae Joon Jun et al., CVPR 2018." with some personal modifications
Language:Python0 0
mio-19/kyo
Toolkit for Scala Development
Language:Scala0 0
mio-19/landingpage
Language:HTML
mio-19/landingpage-old
Language:HTML
mio-19/llvm-cbe
resurrected LLVM "C Backend", with improvements
Language:C++0 0
mio-19/mergerfs
a featureful union filesystem
Language:C++0 0
mio-19/os-lib
OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs
mio-19/PKGBUILDs
PKGBUILDs modified to build on Arch Linux ARM
mio-19/readline
Scala Native bindings for the GNU Readline Library
Language:Scala0 0
mio-19/rootAVD
Script to root AVDs running with QEMU Emulator from Android Studio
Language:Shell0 0
mio-19/safebeautyledger
Repo for Light Red Team
Language:JavaScript0 0
mio-19/scalingua
A simple gettext-like internationalization (aka i18n) library for Scala and Play Framework
mio-19/scallop
a simple Scala CLI parsing library
mio-19/scalroid-build-demo
Demo project for test scalroid.
Language:Kotlin0 0
mio-19/spire
Powerful new number types and numeric abstractions for Scala.
Language:Scala0 0
mio-19/strato
Run Nintendo Switch homebrew & games on your Android device!
Language:C++0 0
mio-19/VideoMirror
Chrome Extension: Mirror (flip horizontally) videos on any page (including YouTube, Vimeo, Twitch, etc.)!
mio-19/vidoo
Change the speed of medias, adjust video filters, automatically skip Ads, etc.