|
|
Isabelle |
2 |
Translator from GHC Core to Isabelle/HOLCF |
Jun 25, 2015 |
|
|
Haskell |
52 |
A GHC plugin and library for analysing GHC Core |
Apr 04, 2023 |
|
|
Emacs Lisp |
4 |
Emacs mode for GHC Core. |
Jun 30, 2018 |
|
|
Haskell |
148 |
The GHC API, decoupled from GHC versions |
Jul 30, 2022 |
|
|
Haskell |
15 |
Encoding of GHC Core inside MLIR |
Dec 29, 2021 |
|
|
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 |
|
|
Emacs Lisp |
4 |
go-debug is mode for easy go debug through Emacs. |
Jan 07, 2021 |
|
|
Emacs Lisp |
4 |
My .emacs.d |
Dec 25, 2021 |
|
|
Emacs Lisp |
4 |
Keep your kill ring clean |
Aug 08, 2022 |
|
|
Emacs Lisp |
4 |
My emacs configuration |
Aug 13, 2019 |
|
|
Emacs Lisp |
4 |
Moved to https://github.com/earthly/earthly-mode. |
Aug 28, 2021 |
|
|
Emacs Lisp |
4 |
Yet another Emacs paste mode, this one for Gist. |
Aug 13, 2019 |
|
|
Emacs Lisp |
4 |
My personal emacs configuartion. |
Dec 22, 2021 |
|
|
Emacs Lisp |
4 |
My pretty much customized emacs configuration |
Aug 13, 2019 |
|
|
Emacs Lisp |
4 |
A simple emacs package to disconnect from the online world. |
Feb 11, 2020 |
|
|
Emacs Lisp |
4 |
My doom emacs private layer. |
Jul 09, 2022 |
|
|
Emacs Lisp |
4 |
Mastodon.social layer for Spacemacs |
Jun 02, 2019 |