Stars
Browse starred repositories and topics
Sort: Recently starred
Starred Repositories
-
Fixes stupid macOS DNS stack (/etc/resolv.conf)
-
Lean 4 programming language and theorem prover
-
HandBrake's main development repository
-
Postgresql full-text search extension for chinese
-
Actively curated list of awesome BI tools. PRs welcome!
-
Fixed-point multi-currency types for Postgres (contrib module)
-
A collection of useful little scripts for database analysis and administration, created by our team at PostgreSQL Experts.
-
Data Access Library
-
📙 Amazon Web Services — a practical guide
-
💌 Things I've learned about writing good READMEs.