bilibili官方直播姬的轻量化替代工具，实现推流地址获取、直播间管理、实时弹幕与礼物推送、观众统计。支持 Windows / Linux / macOS。

A lightweight ActivityPub microblogging service for only a single user

A professional presentation theme for Slidev, designed specifically for academic presentations with LaTeX Beamer-inspired styling.

Use Chinese word dices to generate contrasting sentences. A poetry teaching aid designed by lyy0323 from Guoxue Club, SJTU.

A nearly-live implementation of OpenAI's Whisper.

An easy to use leptos component library

在云中找到你所爱的颜文字！“云颜文字”非官方桌面客户端重制版

Rust bindings to https://github.com/ggerganov/whisper.cpp

Robust Speech Recognition via Large-Scale Weak Supervision

Retrieve author and publication information from Google Scholar in a friendly, Pythonic way without having to worry about CAPTCHAs!

A project to digitalise results from physics into Lean.

GTP engine and self-play learning in Go

I18n library for leptos focused on ease of use and correctness

Web GUI for SVGO

Remotely debugging iOS Safari on Windows and Linux

使用 GPU（OpenCL）快速生成带有“靓号”的 PGP 密钥 Rusty GPU/OpenCL-powered vanity PGP keys generator（WebGL 在线版：https://github.com/TransparentLC/webgl-vanity-gpg）

A post-apocalyptic actionRPG. Now on Steam!

A formalized proof of Carleson's theorem in Lean

在 QQ 中使用 PGP 进行端到端加密，支持半自动加密和自动解密。

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

The "batteries included" extended library for the Lean programming language and theorem prover

Build fast web applications with Rust.

A library for creating reactive web apps in Rust and WebAssembly

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

Rust / Wasm framework for creating reliable and efficient web applications

⅋ — session types for Rust

A CLI tool for monitoring danmaku on Bilibili Live

Formalizing "Proofs from THE BOOK"

Ongoing Lean formalisation of the proof of Fermat's Last Theorem