Firefox theme with Edge like auto-hide vertical tab bar and minimalism design. Powerd by Sidebery.

Compiler for the C3 language

A Modern Probabilistic Model Checker

Accelerate Molecular Biology Research with Machine Learning

Official inference framework for 1-bit LLMs

Mold: A Modern Linker 🦠

HPy: a better API for Python

Filesystem in Userspace (FUSE) for Rust

The VIM editor reinvented in Rust+TypeScript.

科技爱好者周刊，每周五发布

A Python library to simulate electronic devices connected to the GPIO on a Raspberry Pi, using TkInter.

Linux内核与设备驱动程序学习笔记

Code outline sidebar powered by LSP. Forked from symbols-outline.nvim.

Windrecorder is a memory search app by records everything on your screen in small size, to let you rewind what you have seen, query through OCR text or image description, and get activity statistics.

Terminal-inspired, clean, feature-rich and customizable browser start page for geeks. Has built-in editor for customizing.

Azure Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas

音乐标签编辑器，可编辑本地音乐文件的元数据（Editable local music file metadata.）

A post-modern modal text editor.

知乎修改器，目前适用于Tampermonkey，主要功能：页面模块自定义隐藏；列表及回答内容过滤；浏览内容历史记录；推荐页内容缓存；列表种类和关键词强过滤，自动调用「不感兴趣」接口；屏蔽用户回答；回答视频下载；回答内容按照点赞数和评论数排序；设置自动收起所有长回答或自动展开所有回答；移除登录提示弹窗；设置过滤故事档案局和盐选科普回答等知乎官方账号回答；手动调节文字大小；切换主题，夜间模式调整…

VS Code extension for Typst math calculating, includes Arithmetic, Calculous, Matrix, Custom Variances and Funcions by yourself

A new markup-based typesetting system that is powerful and easy to learn.

A computer algebra system written in pure Python

Symbolic math app

An opinionated computer algebra system written in Rust, used by CalcBot.

NAS媒体库自动化管理工具

An open source and lightweight music client for Subsonic, designed and built natively for Android.

Riichi Mahjong Calculator App (for Android, iOS, Desktop, Web, based on Compose Multiplatform)

An opensource OpenWrt variant for mainland China users.

自用的 PT (private tracker) 全自动刷流、辅种、辅助工具