photonquantum Goto Github PK

.github

4i_ai_project

actix-governor

A middleware for actix-web that provides rate-limiting backed by governor.

actix-signal

Manage the lifecycle of an actix actor with its address.

actix-xml

XML extractor for actix-web

agda

Agda is a dependently typed programming language / interactive theorem prover.

aquarium

Bot cluster built on BLÅHAJ and fly.io.

aragaki

Just a simple blog theme called「Aragaki」based on Bitcron.

arch-db-meta-rs

This utility can help you extract all packages and their metadata from a pacman synced db file.

arch-repo-builder-docker

archer

A repository builder for ArchLinux

async-io-bridge

A compat wrapper around AsyncRead/AsyncWrite that implements Read/Write.

async-tungstenite

Async binding for Tungstenite, the Lightweight stream-based WebSocket implementation

autovec-impl-rs

awesome-cs

👨‍💻 ❤️ 💻 上海交通大学计算机系本科作业参考

axum-xml

XML extractor for axum

aya-dev

~ Who's generalizing definitional equalities?

baka-chat

A toy chat bot which uses a simple LSTM model to generate replies to inputs.

baka-notes

Personal reading notes (zh-CN)

bililive-rs

A simple stream-based bilibili live client library.

blahaj

A BLÅHAJ runs in a docker, supervises your processes, and handles reverse proxies for you.

blog

Personal blog.

brownsense

🚽 A distributed IoT platform for monitoring and improving toilet's indoor air quality.

cargo-edit-completion

ciya-rs

Ciyaify your image

clashctl

CLI for interacting with clash

cnmooc_quiz_parser

This utility helps you parse the JSON response of CNMOOC quizzes and calculate your mark before submitting answers.

cnmooc_select

允许在好大学在线的选择题答题页面即时查看回答正误情况而无需提交作答的TamperMonkey脚本。

coqoutline

A VSCode extension that implements outline view and go to definition for Coq files.

coqtail

Interactive Coq Proofs in Vim