Skip to content
Avatar
🐌
I may be slow to respond.
🐌
I may be slow to respond.
437 followers · 51 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • 13 discussions answered
Block or Report

Block or report joaotavora

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.

Report abuse

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

Report abuse

Popular repositories

  1. yasnippet Public

    A template system for Emacs

    Emacs Lisp 2.4k 306

  2. eglot Public

    A client for Language Server Protocol servers

    Emacs Lisp 1.4k 143

  3. sly Public

    Sylvester the Cat's Common Lisp IDE

    Common Lisp 902 97

  4. autopair Public archive

    Automagically pair braces and quotes in emacs like TextMate

    Emacs Lisp 208 36

  5. snooze Public

    Common Lisp RESTful web development

    Common Lisp 166 19

  6. darkroom Public

    Simple distraction-free editing

    Emacs Lisp 117 12

99 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to joaotavora/eglot, joaotavora/sly, joaotavora/st and 5 other repositories

Contribution activity

March 2022

Created 4 commits in 1 repository
Created 1 repository

Created a pull request in eclipse/eclipse.jdt.ls that received 1 comment

Advertise "friendly" Python startup wrapper a bit more prominently

Also fix a typo.

+5 −2 • 1 comment
Reviewed 2 pull requests in 2 repositories
vitejs/vite 1 pull request
joaotavora/eglot 1 pull request

Created an issue in joaotavora/eglot that received 8 comments

Feature request, help wanted: Integrate new Eclipse JDT Python script and remove lots of Eclipse JDT code

In eclipse/eclipse.jdt.ls#748, it seems the Eclipse JDT project finally added a Python Script that can start a Java process setting up the JDT serv…

8 comments
Answered 2 discussions in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.