leanprover-community / lean4-modeLinks
Emacs major mode for Lean 4
☆92Updated this week
Alternatives and similar repositories for lean4-mode
Users that are interested in lean4-mode are comparing it to the libraries listed below
Sorting:
- Emacs mode for Lean☆69Updated last year
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated last week
- Emacs support for Typst.☆63Updated last year
- Preview Typst code blocks in org-mode (not necessarily) buffers.☆65Updated 3 months ago
- citar/org-roam integration☆107Updated last month
- Nonguix mirror – pull requests ignored, please use upstream for that☆63Updated this week
- Emacs front end for SageMath☆103Updated last year
- Typst live preview minor mode for emacs☆67Updated last month
- emacs mode for Wolfram Language☆30Updated last month
- Better latex previews for org-mode☆79Updated 2 years ago
- Compiler Explorer clone☆104Updated last month
- ☆130Updated 3 years ago
- Completion back-ends for for math unicode symbols and latex tags☆125Updated 2 years ago
- Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs☆198Updated last month
- lsp-mode haskell☆241Updated last month
- Emacs mode for BQN programming language☆39Updated this week
- Emacs lsp-mode client for LaTeX, on texlab.☆72Updated 4 months ago
- Statistics visualizer for org-mode☆98Updated last year
- Mathpix Emacs Plugin☆103Updated 3 years ago
- ☆12Updated this week
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 5 months ago
- An editing environment for LaTeX mathematical documents☆260Updated 3 weeks ago
- Magical syntax highlighting for LaTeX-mode buffers☆151Updated last year
- Grammarly support for Flycheck☆130Updated last month
- Competitive programming tools client for AtCoder, Codeforces☆51Updated 2 years ago
- Emacs package for previewing LaTeX fragments such as in doxygen comments.☆72Updated last year
- Free scientific packages for GNU Guix.☆49Updated 7 months ago
- Protocol extensions for Eglot☆139Updated last month
- Tools for interacting with Boogie☆47Updated 2 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 4 months ago