l1yefeng

l1yefeng's Stars

• nelstrom/vim-visual-star-search

  Start a * or # search from a visual block

  Language:Vim script21518

• tomtom/tcomment_vim

  An extensible & universal comment vim-plugin that also handles embedded filetypes

  Language:Vim Script1.4k103

• yatli/fvim

  Cross platform Neovim front-end UI, built with F# + Avalonia

  Language:F#1.3k29

• tumashu/pyim

  一个 emacs 中文输入法，支持全拼，双拼，五笔，仓颉和Rime，pyim 是 GNU elpa 包。

  Language:Emacs Lisp89093

• FStarLang/fstar-mode.el

  Emacs support for F*

  Language:Emacs Lisp6717

• ocaml/ocaml-lsp

  OCaml Language Server Protocol implementation

  Language:OCaml766121

• hrsh7th/nvim-compe

  Auto completion Lua plugin for nvim

  Language:Lua1.3k54

• pypa/pipx

  Install and Run Python Applications in Isolated Environments

  Language:Python10.5k413

• ajeetdsouza/zoxide

  A smarter cd command. Supports all major shells.

  Language:Rust22.7k550

• gmg137/netease-cloud-music-gtk

  Linux 平台下基于 Rust + GTK 开发的网易云音乐播放器

  Language:Rust1.6k95

• eth-sri/psi

  Exact Inference Engine for Probabilistic Programs

  Language:JetBrains MPS13018

• isocpp/CppCoreGuidelines

  The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  Language:CSS42.8k5.4k

• feeluown/feeluown-netease

  Language:Python218

• paulirish/git-open

  Type `git open` to open the GitHub page or website for a repository in your browser.

  Language:Shell3.3k248

• m1l/Everything-Metric

  Edge (Chromium) and Chrome Extension for converting USCS sites to Metric / SI

  Language:JavaScript6015

• whonore/Coqtail

  Interactive Coq Proofs in Vim

  Language:Python27434

• feeluown/FeelUOwn

  trying to be a robust, user-friendly and hackable music player

  Language:Python3.5k597

• willghatch/racket-rash

  The Reckless Racket Shell

  Language:Racket55031

• sampsyo/bril

  an educational compiler intermediate representation

  Language:Rust569237

• zhangzhilinx/qsv2flv

  A tool developed in Rust to convert QSV to FLV（一个爱奇艺qsv转flv工具，不会生成多余的临时文件，使用Rust开发）

  Language:Rust7221

• davidde/mpv-autosub

  Fully automatic subtitle downloading for the MPV media player

  Language:Lua30142

• rzach/sets-logic-computation

  Textbook on metalogic based on the Open Logic Project

  Language:TeX3610

• zenozeng/fonts.css

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

  Language:TypeScript2.1k138

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust49.5k1.3k

• revery-ui/revery

  :zap: Native, high-performance, cross-platform desktop apps - built with Reason!

  Language:Reason8.1k197

• petRUShka/vim-sage

  Vim plugin for SageMath (Sage) mathematics software system

  Language:Vim Script213

• trailofbits/algo

  Set up a personal VPN in the cloud

  Language:Jinja28.9k2.3k

• johnfactotum/foliate

  Read e-books in style

  Language:JavaScript6.4k291

• shuowenjiezi/shuowen

  說文解字的檢索數據

  8925

• p4lang/tutorials

  P4 language tutorials

  Language:P41.4k888