vsiles

vsiles's Stars

• tpope/vim-fugitive

  fugitive.vim: A Git wrapper so awesome, it should be illegal

  Language:Vim Script20.5k2251.8k1k

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml15.1k6001.4k2k

• tpope/vim-pathogen

  pathogen.vim: manage your runtimepath

  Language:Vim Script12.1k4171711.2k

• cyrus-and/gdb-dashboard

  Modular visual interface for GDB in Python

  Language:Python11.6k224257796

• tpope/vim-commentary

  commentary.vim: comment stuff out

  Language:Vim Script6k62141214

• santinic/pampy

  Pampy: The Pattern Matching for Python you always dreamed of.

  Language:Python3.5k6133125

• ocaml/setup-ocaml

  GitHub Action for the OCaml programming language

  Language:TypeScript208616343

• jhjourdan/C11parser

  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

  Language:OCaml193131717

• facebookresearch/shack

  A shack for hacklang design

  Language:Coq6100

• jvillard/tondeuse

  Text-based lawn mowing.

  Language:Python6201