Dspil

Dspil's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• melpa/melpa

  Recipes and build machinery for the biggest Emacs package repo

  Language:Emacs Lisp2.8k821.1k2.4k

• pashky/restclient.el

  HTTP REST client tool for emacs

  Language:Emacs Lisp2k37198170

• misohena/el-easydraw

  Embedded drawing tool for Emacs

  Language:Emacs Lisp768172121

• karthink/popper

  Emacs minor-mode to summon and dismiss buffers easily.

  Language:Emacs Lisp45295521

• io12/org-fragtog

  Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them

  Language:Emacs Lisp40384214

• viperproject/gobra

  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

  Language:Scala111931628