Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

AIGER And-Inverter-Graph Library

SystemVerilog compiler and language services

Open-source desktop extension to organize, hide, and reorder app indicators in GNOME menu bar

A command-line productivity tool powered by AI large language models like GPT-5, will help you accomplish your tasks faster and more efficiently.

CopyManga extension for Tachiyomi.

A raytracer in Rust

An easy-to-learn/use static analysis framework for Java

An unofficial https://bgm.tv ui first app client for Android and iOS, built with React Native. 一个无广告、以爱好为驱动、不以盈利为目的、专门做 ACG 的类似豆瓣的追番记录，bgm.tv 第三方客户端。为移动端重新设计，内置大量加强的网页端难以实现的功能，且提供了相当的自定义选项。 目前已适配…

AutoBangumi - 全自动追番工具

Tai-e assignments for static program analysis