archive-tsao-chi-forks's repositories
dance-with-expressions
式之舞 / Dance with Expressions
pi4j-example-minimal
Minimal example project showing how to use Pi4J V2 with a digital input and output
agda-language-server
Language Server for Agda
aya-dev
~ Who's generalizing definitional equalities?
cats-parse
A parsing library for the cats ecosystem
cicada
蝉语 / Cicada Language
cicada-origin
蝉语 / Cicada Language
commandline
A C++ commandline for use in servers and chat software. Provides very simple asynchronous input/output.
esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
ferris-gc
FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector
Galaxy-S10
Kernel for Samsung Galaxy S10 and N10 family.
im-rs
Assorted immutable collection datatypes for Rust
koreader
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
koreader-base
Base framework offering a Lua scriptable environment for creating document readers
lowdim
Low dimensional topology and geometry.
mal
mal - Make a Lisp
miniKANREN
Various miniKANREN implementations
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!
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.
tesseract
[WIP]
tesseract-lite
轻量级 Telegram QQ 转发机器人
v2ray-heroku
用于在 Heroku 上部署 V2Ray WebSocket。
weak-table-rs
Weak hash tables for Rust
weloveinterns
中科院软件所智能软件中心实习生社区
wiki-docs
Docs for Wiki.js 2.x