⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

A privacy-first, self-hosted, fully open source personal knowledge management software, written in typescript and golang.

Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)

ChatLaw：A Powerful LLM Tailored for Chinese Legal. 中文法律大模型

A list of tmux plugins.

Persists tmux environment across system restarts.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Utils for AI Science

🔥 经典编程书籍大全，涵盖：计算机系统与网络、系统架构、算法与数据结构、前端开发、后端开发、移动开发、数据库、测试、项目与团队、程序员职业修炼、求职面试等

🍭 浙江大学PAT题解(C/C /Java/Python) - 努力成为萌萌的程序媛～

《C Primer》第五版中文版习题答案

Project for bi296 course

Dna sequence compressor.