yang-cao's Stars
oneh/autohotkey_emacs_keymap
AutoHotkey script to simulate Emacs keybindings on Windows
doomemacs/doomemacs
An Emacs framework for the stubborn martian hacker
cmu-db/noisepage
Self-Driving Database Management System from Carnegie Mellon University
plexus/chemacs
Emacs profile switcher
VertaAI/modeldb
Open Source ML Model Versioning, Metadata, and Experiment Management
kamoii/emacs-org-sanpo
🚶♀️ Roam-like system built on top of org-mode
redguardtoo/mastering-emacs-in-one-year-guide
Be great at emacs in one year
duckdb/duckdb
DuckDB is an analytical in-process SQL database management system
pixelspark/catena
Catena is a distributed database based on a blockchain, accessible using SQL.
epfldata/dblab
A framework for building database systems by high-level programming, and getting really good performance nevertheless.
fniessen/org-html-themes
Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design
barryclark/jekyll-now
Build a Jekyll blog in minutes, without touching the command line.
agoldst/tex
Miscellaneous tex-related files
fhackenberger/ktikz
KtikZ provides a nice user interface for making pictures using TikZ.
fniessen/org-macros
Take your Org mode productivity to the next level with our Macro Refcard! Discover the power of macros with practical examples and shortcuts. Download now. #orgmode #macros #productivityhacks
redguardtoo/emacs.d
Fast and robust Emacs setup.
postgres/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
papers-we-love/papers-we-love
Papers from the computer science community to read and discuss.
rxin/db-readings
Readings in Databases
vjpr/monaco-bold
The Monaco font with a bold variant
politza/pdf-tools
Emacs support library for PDF files.
justjavac/Google-IPs
:us: Google 全球 IP 地址库