takasimiz

takasimiz's Stars

• emacs-tw/awesome-emacs

  A community driven list of useful Emacs packages, libraries and other items.

  8.7k38950561

• matze/mtheme

  A modern LaTeX Beamer theme

  Language:TeX6.5k125277845

• textlint/textlint

  The pluggable natural language linter for text and markdown.

  Language:TypeScript2.9k39417156

• joaotavora/yasnippet

  A template system for Emacs

  Language:Emacs Lisp2.8k74903310

• pashky/restclient.el

  HTTP REST client tool for emacs

  Language:Emacs Lisp2k36198173

• Fuco1/smartparens

  Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

  Language:Emacs Lisp1.8k25919194

• auto-complete/auto-complete

  Emacs auto-complete package

  Language:Emacs Lisp1.7k103339287

• magnars/dash.el

  A modern list library for Emacs

  Language:Emacs Lisp1.7k40199136

• pdfpc/pdfpc

  A presenter console with multi-monitor support for PDF files.

  Language:Vala1.6k33413116

• magnars/s.el

  The long lost Emacs string manipulation library.

  Language:Emacs Lisp1k307396

• UniMath/UniMath

  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

  Language:Coq97057526172

• Fanael/rainbow-delimiters

  Emacs rainbow delimiters mode

  Language:Emacs Lisp692177032

• rejeep/f.el

  Modern API for working with files and directories in Emacs

  Language:Emacs Lisp690155969

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq678452786

• fniessen/refcard-org-mode

  Get organized and boost your productivity with our comprehensive Org mode syntax reference card! Get a quick access to helpful tips and tricks. #orgmode #syntax #productivity #referencecard

  645255119

• org-trello/org-trello

  Org minor mode - 2-way sync org & trello

  Language:Emacs Lisp6182227451

• alphapapa/org-rifle

  Rifle through your Org-mode buffers and acquire your target

  Language:Emacs Lisp504107230

• remarkjs/remark-math

  remark and rehype plugins to support math

  Language:JavaScript39697259

• company-mode/company-quickhelp

  Documentation popup for Company

  Language:Emacs Lisp373129733

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp3511024028

• zweifisch/ob-http

  make http request within org-mode babel

  Language:Emacs Lisp26292830

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25587020

• alphapapa/outshine

  Org-mode for non-Org buffers

  Language:Emacs Lisp215116023

• vspinu/company-math

  Completion back-ends for for math unicode symbols and latex tags

  Language:Emacs Lisp1255188

• affeldt-aist/infotheo

  A Coq formalization of information theory and linear error-correcting codes

  Language:Coq6663816

• OUPL/MLCert

  Certified Machine Learning

  Language:Coq41574

• malb/emacs.d

  My emacs config

  Language:Emacs Lisp354110

• syntax-tree/unist-util-inspect

  utility to inspect nodes

  Language:JavaScript271157

• suharahiromichi/coq

  Coq Code

  Language:Coq17400

• rocq-archive/concat

  Constructive Category Theory

  Language:Coq4