Pinned Repositories
dance-with-expressions
式之舞 / Dance with Expressions
Mohist
Minecraft Forge Hybrid server implementing the Paper/Spigot/Bukkit API(1.12.2/1.15.2), formerly known as Thermos/Cauldron/MCPC+
multimc5-offline-1
PKGBUILD for multimc5-offline
MultiMC5-with-offline
A custom launcher for Minecraft that allows you to easily manage multiple installations of Minecraft at once
musenet-midi
A tool for converting input and output data for OpenAI's MuseNet from and to MIDI. https://mrcheeze.github.io/musenet-midi/
nether
Nether mod for Minetest
nikola-action
GitHub Action for building a Nikola site and deploying it to GitHub Pages
Paper
High performance Spigot fork that aims to fix gameplay and mechanics inconsistencies
PaperDocs
Documentation for all projects under the PaperMC umbrella
pi4j-example-minimal
Minimal example project showing how to use Pi4J V2 with a digital input and output
archive-tsao-chi-forks's Repositories
archive-tsao-chi-forks/dance-with-expressions
式之舞 / Dance with Expressions
archive-tsao-chi-forks/pi4j-example-minimal
Minimal example project showing how to use Pi4J V2 with a digital input and output
archive-tsao-chi-forks/agda-language-server
Language Server for Agda
archive-tsao-chi-forks/arc-swap
Support atomic operations on Arc itself
archive-tsao-chi-forks/aya-dev
~ Who's generalizing definitional equalities?
archive-tsao-chi-forks/bacon-rajan-cc
archive-tsao-chi-forks/BeamMP-Server
archive-tsao-chi-forks/cats-parse
A parsing library for the cats ecosystem
archive-tsao-chi-forks/cicada
蝉语 / Cicada Language
archive-tsao-chi-forks/cicada-origin
蝉语 / Cicada Language
archive-tsao-chi-forks/commandline
A C++ commandline for use in servers and chat software. Provides very simple asynchronous input/output.
archive-tsao-chi-forks/esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
archive-tsao-chi-forks/ferris-gc
FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector
archive-tsao-chi-forks/Galaxy-S10
Kernel for Samsung Galaxy S10 and N10 family.
archive-tsao-chi-forks/graalvm-ce-jdk17-dev-builds
archive-tsao-chi-forks/graalvm-truffle-tutorial
archive-tsao-chi-forks/im-rs
Assorted immutable collection datatypes for Rust
archive-tsao-chi-forks/koreader
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
archive-tsao-chi-forks/koreader-base
Base framework offering a Lua scriptable environment for creating document readers
archive-tsao-chi-forks/lowdim
Low dimensional topology and geometry.
archive-tsao-chi-forks/mal
mal - Make a Lisp
archive-tsao-chi-forks/miniKANREN
Various miniKANREN implementations
archive-tsao-chi-forks/miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
archive-tsao-chi-forks/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
archive-tsao-chi-forks/tesseract
[WIP]
archive-tsao-chi-forks/tesseract-lite
轻量级 Telegram QQ 转发机器人
archive-tsao-chi-forks/v2ray-heroku
用于在 Heroku 上部署 V2Ray WebSocket。
archive-tsao-chi-forks/weak-table-rs
Weak hash tables for Rust
archive-tsao-chi-forks/weloveinterns
中科院软件所智能软件中心实习生社区
archive-tsao-chi-forks/wiki-docs
Docs for Wiki.js 2.x