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/Unofficial-snapshot-Spigot-BuildData
unofficial Spigot BuildData for snapshot versions
mio-19/Tuinity-autoupstreamupdate
Tuinity with auto upstream updating. scripts are in the "scripts" branch.
mio-19/TODO-List
較遠期TODO [moved to https://github.com/tsao-chi/inner]
mio-19/AIinNCEE
AI in NCEE (gaokao,高考) moved to https://github.com/tsao-chi/inner/tree/root/src/AIinNCEE
mio-19/Expression-Oriented-C
Macros for expression-oriented programming - C and C++ - based on https://github.com/zaoqi/Expression-Oriented-C
mio-19/graalvm-ce-jdk17-dev-builds
mio-19/LEDE-Newifi-D2
Daily clean LEDE build for Newifi D2. Base commit: https://github.com/P3TERX/Actions-OpenWrt/tree/d59134a43e60a4bf09714a99f3e26a714dc22b7f
mio-19/parameter.rs
dynamic binding - inspired by parameter of Scheme
mio-19/sKanren
[WIP] A multi-threaded cKanren with fair conj
mio-19/bookshelf
moved to https://gitlab.com/tsao-chi/bookshelf
mio-19/configurations
Hardware Setup & Software Configurations [moved to https://github.com/tsao-chi/inner/ ]
mio-19/cps-transform
多年前寫在紙上的，依記憶還原
mio-19/dustbin
moved to https://github.com/tsao-chi/inner
mio-19/EVOLUTION
Yet another attempt to make a computer program that can evolve
mio-19/Exam-Oriented-Chinese-Writings
moved to https://github.com/tsao-chi/inner
mio-19/files
shared files
mio-19/inner-posts
moved to https://github.com/tsao-chi/inner
mio-19/Make-Halting-Problem-An-Unsolved-Problem-Again
moved to https://github.com/tsao-chi/inner
mio-19/miniAnn.sv
miniAnn
mio-19/MinimalDT-NbE
mio-19/Music-Homework-Dec-2020
moved to https://github.com/tsao-chi/inner
mio-19/notes
moved to https://github.com/tsao-chi/inner
mio-19/OpenWRT-LEDE-Newifi-D2
Daily build. LEDE for Newifi D2
mio-19/scala-nat
unsigned BigInt
mio-19/Simple-Dependently-Typed-Lambda-Calculus
Simple Dependently Typed Lambda Calculus
mio-19/Sized-miniKanren
Sized!
mio-19/sKanren-broken
(Work in process) A weird, parallel and modern miniKanren