zaoqi
(This is an archive. New: https://github.com/tsao-chi) 我希望我能相信,并将其作为公理:被规定的可比较的数字即一切我的一切行动的目的,规定者即上帝,以类似西元二十一世纪上半叶的某类AI的方法拟合某个函数的方法即我行动的方法。
-- Zhejiang China
Pinned Repositories
the-language
visit https://github.com/the-language/the-language-jit
zKanren
zKanren
effect.rkt
Expression-Oriented-C
Expression-Oriented C
github-actions-archlinux
Install Archlinux on Github Actions!
kual-linuxdeploy-armhf
A KUAL extension. Linux Deploy: chrooted GNU/Linux for modern Kindle
Mapping.idr
minetest-novnc-docker
Base Docker image to run minetest in a web browser via noVNC (html5 vnc viewer) + Xvfb + x11vnc
newifi-d2-lede-binary
LEDE binary for Newifi3 (Newifi D2).
Signal.hs
Signal.hs
zaoqi's Repositories
zaoqi/github-actions-archlinux
Install Archlinux on Github Actions!
zaoqi/kual-linuxdeploy-armhf
A KUAL extension. Linux Deploy: chrooted GNU/Linux for modern Kindle
zaoqi/newifi-d2-lede-binary
LEDE binary for Newifi3 (Newifi D2).
zaoqi/newifi-d2-lede-builder
For https://github.com/zaoqi/newifi-d2-lede-binary
zaoqi/callcc.js
call/cc in javascript
zaoqi/docker-archlinuxrolling
zaoqi/deepin-docker
deepin-debootstrap
zaoqi/inner
zaoqi/minetest-cheat
Minetest, an open source infinite-world block sandbox game engine and game with survival and crafting. Also see https://github.com/minetest/minetest_game
zaoqi/alpine-rolling-docker
"Bootstrap" Alpinelinux Docker image.Bootstrap on 2019-10-03
zaoqi/archlinux-docker
archlinux/base + `pacman -Syu`
zaoqi/archlinux-rolling-docker
"Bootstrap" Archlinux Docker image.Bootstrap on 2019-10-03
zaoqi/chezscheme-builder-docker
zaoqi/docker-deepin
zaoqi/flashable-zip_microG
Install microG or UnifiedNlp into an Android system, plus an OTA survival addon.d script
zaoqi/gen_rime_package
生成android的/sdcard/rime。
zaoqi/gnuguix-docker
Dockerfile for GNU Guix
zaoqi/MPL_LICENSE
zaoqi/osx-the-lang-builder
zaoqi/python-github-backup-docker
https://github.com/josegonzalez/python-github-backup
zaoqi/qubes-core-agent-linux
Qubes component: core-agent-linux
zaoqi/racket-lang-org
zaoqi/searx-docker
zaoqi/synced-gentoo-docker
gentoo/stage3-amd64 + `emerge --sync`
zaoqi/the-language-jit
mirror of https://gitlab.com/the-language/the-language-jit
zaoqi/Tuinity-autoupstreamupdate
Tuinity with auto upstream updating. scripts are in the "scripts" branch.
zaoqi/vehicles
minetest mod that adds vehicles
zaoqi/voidlinux-ci
voidlinux + bash
zaoqi/wkhtmltopdf-docker
https://github.com/wkhtmltopdf/wkhtmltopdf + Docker
zaoqi/zaoqi