Lists (2)
Stars
a stupid crow music station
💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…
在 Windows 上从文件、文件夹和压缩包中按需临时加载字体 (Temporarily install fonts from file, folder and archive on Windows and avoid cluttering your Fonts folder. A rusty rewrite of https://bitbucket.org/cryptw/fontloader)
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.
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.
I18n library for leptos focused on ease of use and correctness
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
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