|
|
Boogie |
423 |
Boogie |
Apr 24, 2023 |
|
|
HTML |
2 |
Tools for interacting with Gaffer |
Dec 01, 2018 |
|
|
Rust |
2 |
🎨Tools for interacting with COLOURlovers |
Oct 22, 2020 |
|
|
Python |
3 |
estools: tools for interacting with elasticsearch |
Oct 15, 2019 |
|
|
PHP |
55 |
Helper tools for interacting with databases |
Jul 21, 2022 |
|
|
JavaScript |
76 |
Tools for interacting with iOS devices |
Aug 15, 2022 |
|
|
Java |
119 |
Tools for interacting with Maven repositories |
Jul 05, 2022 |
|
|
JavaScript |
2 |
Friendly tools for interacting with GraphicsMagick |
Oct 05, 2020 |
|
|
Python |
3 |
Python tools for interacting with CATMAID |
Oct 18, 2018 |
|
|
JavaScript |
10 |
Tools for interacting with and debugging cryptpad |
Mar 30, 2022 |
|
|
Go |
2 |
Go tools for interacting with proto files |
Dec 20, 2018 |
|
|
Python |
17 |
Tools for interacting with the Enphase Envoy. |
Jan 28, 2023 |
|
|
Python |
11 |
Tools for interacting with the Planning.Domains API |
Mar 30, 2023 |
|
|
Python |
5 |
Tools for interacting with OSM in Slack. |
Mar 01, 2020 |
|
|
JavaScript |
3 |
Tools for configuring and interacting with rr. |
May 27, 2022 |
|
|
C# |
26 |
Symbolic Execution Engine for Boogie |
Sep 29, 2022 |
|
|
Emacs Lisp |
3 |
dotfiles by @kevinji. |
Jan 06, 2022 |
|
|
Emacs Lisp |
3 |
Pop up a org-agenda window, and select a headline's link, then insert to current org-buffer. |
Mar 02, 2021 |
|
|
Emacs Lisp |
3 |
None |
Mar 23, 2020 |
|
|
Emacs Lisp |
3 |
Anaphoric references in Emacs Lisp, separate from any particular macro definitions. |
Jul 04, 2022 |
|
|
Emacs Lisp |
4 |
Corgi's keybinding system |
Apr 26, 2022 |
|
|
Emacs Lisp |
4 |
Melpa as nature intended! |
Jun 04, 2022 |
|
|
Emacs Lisp |
4 |
Display an entry's length in elfeed |
Jun 12, 2022 |
|
|
Emacs Lisp |
4 |
[WIP] Eglot Clients for LanguageTool |
Jul 07, 2022 |
|
|
Emacs Lisp |
4 |
Show flycheck errors with sideline |
Jul 18, 2022 |
|
|
Emacs Lisp |
4 |
Show lsp information with sideline |
Jul 16, 2022 |
|
|
Emacs Lisp |
4 |
Emacs front-end of App::PRT |
Nov 08, 2018 |
|
|
Emacs Lisp |
4 |
My Emacs utilties |
Nov 21, 2020 |
|
|
Emacs Lisp |
4 |
My own minimum dotfiles |
Jul 13, 2022 |
|
|
Emacs Lisp |
4 |
System notifications of org agenda deadlines |
May 03, 2022 |
|
|
Emacs Lisp |
4 |
My weird emacs configuration |
May 16, 2022 |
|
|
Emacs Lisp |
4 |
None |
Apr 20, 2022 |
|
|
Emacs Lisp |
4 |
Display org properties in the agenda buffer. |
Jun 05, 2022 |
|
|
Emacs Lisp |
4 |
None |
Jun 01, 2022 |
|
|
Emacs Lisp |
4 |
None |
Oct 26, 2020 |
|
|
Emacs Lisp |
4 |
None |
Aug 08, 2017 |
|
|
Emacs Lisp |
4 |
Personal emacs configuration |
Jan 28, 2016 |
|
|
Emacs Lisp |
4 |
Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy |
Aug 31, 2020 |
|
|
Emacs Lisp |
4 |
A community driven list of useful Emacs packages, libraries and others. |
May 06, 2020 |
|
|
Emacs Lisp |
4 |
My Emacs configs, and a live blog of my experience switching from Vim to Emacs |
Jan 25, 2022 |
|
|
Emacs Lisp |
4 |
pastery for emacs. |
Sep 11, 2017 |
|
|
Emacs Lisp |
4 |
A collection of scripts and configurations |
May 12, 2022 |
|
|
Emacs Lisp |
4 |
My Emacs configurations for multiple editing modes. |
Jul 28, 2022 |
|
|
Emacs Lisp |
4 |
Read and write extended file attributes on linux |
Aug 31, 2018 |
|
|
Emacs Lisp |
4 |
Emacs setup for C/C++ with Helm describe here: http://tuhdo.github.io/c-ide.html |
May 05, 2022 |
|
|
Emacs Lisp |
4 |
My machine-setup and configuration for Ubuntu & Ubuntu-based OSes. |
Jan 10, 2022 |
|
|
Emacs Lisp |
4 |
VSQL specialization for emacs SQL mode |
May 16, 2020 |
|
|
Emacs Lisp |
4 |
Emacs major mode to create presentations |
Oct 03, 2013 |
|
|
Emacs Lisp |
4 |
A day-planner-like planning tool for Emacs; uses Muse to publish plan pages. |
Aug 07, 2022 |
|
|
Emacs Lisp |
4 |
Like TextMate (and Vim's) Command-T. You know... for Emacs. |
Jul 15, 2017 |