p51lee

p51lee's Stars

• itchyny/lightline.vim

  A light and configurable statusline/tabline plugin for Vim

  Language:Vim Script6.7k76573315

• tpope/vim-commentary

  commentary.vim: comment stuff out

  Language:Vim Script5.9k60139214

• humiaozuzu/dot-vimrc

  Maple's vim config files

  Language:VimL2.2k19825769

• jupyterlab-contrib/jupyterlab-vim

  Vim notebook cell bindings for JupyterLab

  Language:TypeScript67979543

• dennyzhang/kubernetes-yaml-templates

  Kubernetes Yaml Templates

  621300475

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25587020

• es-meta/esmeta

  ECMAScript Specification (ECMA-262) Metalanguage

  Language:Scala188108712

• plclub/hs-to-coq

  Convert Haskell source code to Coq source code.

  Language:Coq77131888

• cronburg/antlr-haskell

  A language parsing quasiquoter for Haskell based heavily on ANTLR4.

  Language:Haskell495427

• vessl-ai/tvault

  Quickly compare PyTorch models in a local, lightweight registry

  Language:Python23301

• jonaskgandersson/jWrite

  C JSON Writer

  Language:C19147

• es-meta/esmeta-debugger-client

  ECMAScript debugger client using ESMeta

  Language:TypeScript5502

• saeyoon17/mnist-tvault-example

  Sample repository for classifying MNIST classification

  Language:Python5111

• jeong0982/pintos

  pintos OS

  Language:C1010

• DoHoonKim8/DoHoonKim

  0100