Skip to content
View Vtec234's full-sized avatar
87 followers · 8 following

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf

Block or report Vtec234

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

6 stars written in Emacs Lisp
Clear filter

emacs-lsp / lsp-mode

Emacs client/library for the Language Server Protocol

Emacs Lisp 4,841 899 Updated Jan 16, 2025

Kungsgeten / org-brain

Org-mode wiki + concept-mapping

Emacs Lisp 1,742 104 Updated Jul 3, 2024

emacs-ng / emacs-ng

A new approach to Emacs - Including TypeScript, Threading, Async I/O, and WebRender.

Emacs Lisp 1,717 72 Updated Jan 11, 2025

jkitchin / org-ref

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

Emacs Lisp 1,378 242 Updated Nov 24, 2024

cpitclaudel / biblio.el

Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

Emacs Lisp 188 15 Updated Jan 2, 2025

harryfei / remacs

Forked from remacs/remacs

Rust ❤️ Emacs

Emacs Lisp 3 Updated Aug 16, 2020