zhangjunphy

zhangjunphy's Stars

• ShiArthur03/ShiArthur03

  Language:MATLAB10.4k1.9k

• teorth/pfr

  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

  Language:Lean13333

• jxq0/org-tidy

  🧹 An Emacs minor mode to automatically tidy org-mode property drawers

  Language:Emacs Lisp987

• flypitch/flypitch

  A formal proof of the independence of the continuum hypothesis

  Language:Lean11516

• leanprover-community/lean-liquid

  💧 Liquid Tensor Experiment

  Language:Lean17214

• emacs-elsa/Elsa

  Emacs Lisp Static Analyzer and gradual type system.

  Language:Emacs Lisp64327

• MaskRay/ccls

  C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting

  Language:C++3.7k255

• emacs-lsp/dap-mode

  Emacs :heart: Debug Adapter Protocol

  Language:Emacs Lisp1.3k182

• emacs-lsp/emacs-ccls

  Emacs client for ccls, a C/C++ language server

  Language:Emacs Lisp20029

• hylang/hy

  A dialect of Lisp that's embedded in Python

  Language:Python5.1k372

• Alexander-Miller/treemacs

  Language:Emacs Lisp2.1k153

• remacs/remacs

  Rust :heart: Emacs

  Language:Emacs Lisp4.6k308

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k880

• tkf/emacs-request

  Request.el -- Easy HTTP request for Emacs Lisp

  Language:Emacs Lisp62593

• TheBB/spaceline

  Powerline theme from Spacemacs

  Language:Emacs Lisp53659

• FlagBrew/PKSM

  Gen I to GenVIII save manager.

  Language:C++1.7k173

• mopemope/meghanada-emacs

  A Better Java Development Environment for Emacs

  Language:Emacs Lisp60656

• chrisdone-archive/elisp-guide

  A quick guide to Emacs Lisp programming

  1.4k93

• emacs-evil/evil-magit

  Black magic or evil keys for magit

  Language:Emacs Lisp27316

• nschum/window-numbering.el

  Emacs: Numbered window shortcuts

  Language:Emacs Lisp16334

• syl20bnr/spacemacs

  A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

  Language:Emacs Lisp23.7k4.9k

• fcitx/fcitx

  A Flexible Input Method Framework

  Language:C855173

• zenozeng/fonts.css

  跨平台 CSS 中文字体解决方案

  Language:TypeScript2.1k138

• papyros/papyros-shell

  :shell: The desktop shell for Papyros, built using QtQuick and QtCompositor as a compositor for Wayland.

  Language:C++94442

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script82.2k5.6k

• Deevad/peppercarrot_game-gfx

  Video-games/board-games animated or static graphics featuring my original and open characters : Pepper&Carrot ( http://www.peppercarrot.com )

  81

• facebook/fresco

  An Android library for managing images and the memory they use.

  Language:Java17.1k3.7k

• mobile-shell/mosh

  Mobile Shell

  Language:C++12.6k728

• PeterDing/iScript

  各种脚本 -- 关于 虾米 xiami.com, 百度网盘 pan.baidu.com, 115网盘 115.com, 网易音乐 music.163.com, 百度音乐 music.baidu.com, 360网盘/云盘 yunpan.cn, 视频解析 flvxz.com, bt torrent ↔ magnet, ed2k 搜索, tumblr 图片下载, unzip

  Language:Python5k1.2k

• traviscross/mtr

  Official repository for mtr, a network diagnostic tool

  Language:C2.7k338