qdd99

textext

Re-editable LaTeX/ typst graphics for Inkscape

sudo-win

Use sudo on Windows: Run a command with administrator privileges.

algorithmica

A computer science textbook

LeetCodeSolutions

Theoretical solutions for LeetCode problems.

immersive-translate

沉浸式双语网页翻译扩展 , 支持输入框翻译， 鼠标悬停翻译， PDF, Epub, 字幕文件, TXT 文件翻译 - Immersive Dual Web Page Translation Extension

ChatALL

Concurrently chat with ChatGPT, Bing Chat, Bard, Alpaca, Vicuna, Claude, ChatGLM, MOSS, 讯飞星火, 文心一言 and more, discover the best answers

-record-cppp_v5

manim

Animation engine for explanatory math videos

LxgwWenKai

An open-source Chinese font derived from Fontworks' Klee One. 一款开源中文字体，基于 FONTWORKS 出品字体 Klee One 衍生。

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

qwerty-learner

为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

ucsc-cs

Guide to UCSC's Computer Science Majors 🖥⌨

PLCT-Open-Reports

PLCT实验室的公开演讲，或者决定公开的组内报告

ChatPaper

Use ChatGPT to summarize the arXiv papers. 全流程加速科研，利用chatgpt进行论文全文总结+专业翻译+润色+审稿+审稿回复

YCSB-cpp

YCSB written in C++ (for LevelDB, RocksDB, LMDB, WiredTiger, SQLite)

2022-BJTU-DataStructure-FinalProject

浅海寻珍记

2023-BJTU-DBMS-Project

Co1aSQL - 数据库管理系统

moe

A lib for better coding on C++.

oneTBB

oneAPI Threading Building Blocks (oneTBB)

english-words

:memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

risingwave

Scalable SQL engine for event streams and time series data. Perform streaming analytics, or build event-driven applications, real-time ETL pipelines, and feature stores in minutes. Unified streaming and batch processing. PostgreSQL compatible.

aspen

Aspen is a Low-Latency Graph Streaming System built using Compressed Purely-Functional Trees

libsais

libsais is a library for linear time suffix array, longest common prefix array and burrows wheeler transform construction based on induced sorting algorithm.

duckdb

DuckDB is an analytical in-process SQL database management system

dragonfly

A modern replacement for Redis and Memcached

riscv-boom

SonicBOOM: The Berkeley Out-of-Order Machine

coost

A tiny boost library in C++11.

chi-cv-template

🤩 Rip-off of skyzh's CV

BJTU_Compiler_Projects

Yet another compiler for BJTU Compiler course.