📜 inspired by iscroll, and it supports more features and has a better scroll perfermance

MinIO Go client SDK for S3 compatible object storage

让你的小程序用上原汁原味的 Tailwind/Windi CSS

RISC-V Formal Verification Framework

ABC: System for Sequential Logic Synthesis and Formal Verification

OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/

Deprecated: Use the official Elasticsearch client for Go at https://github.com/elastic/go-elasticsearch

A small package to fuzzy match chinese words

Fuzzy String Matching in Python

PowerWechat是一款基于WeChat SDK for Golang，支持小程序、微信支付、企业微信、公众号等全微信生态

random nickname

A high-throughput and memory-efficient inference and serving engine for LLMs

NotesTeX (or its nickname NoTeX) is a simple LaTeX notes taking package for students.

A simple native file system for Linux kernel

Lean 4 programming language and theorem prover

An unofficial LaTeX beamer style for Beihang University, Beijing, China.

A modern LaTeX Beamer theme

Implementation of GLWE based Levelled Fully Homomorphic BGV using Pari/GP library in C++.

中文文本错别字检测以及自动纠错 / Autochecker & autocorrecter for chinese

Sieve of Eratosthenes in the Gaussian primes.

北航毕设论文LaTeX模板

北航毕设论文overleaf Latex模板

C Abstract Machine Interpreter

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…

小红书笔记 | 评论爬虫、抖音视频 | 评论爬虫、快手视频 | 评论爬虫、B 站视频 ｜ 评论爬虫、微博帖子 ｜ 评论爬虫

React components to build charts and dashboards