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.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Forked from valentjn/ltex-ls
LTeX Language Server: An LSP language server for LanguageTool with LaTeX/Markdown support; core of the LTeX extension for Visual Studio Code
Sagemath code for working with the occupancy method for the Potts model
Forked from xi-editor/xi-editor
A modern editor with a backend written in Rust.
Forked from tvooo/grunt-latex
A Grunt plugin to compile LaTeX documents using pdflatex
Seeing something unexpected? Take a look at the
GitHub profile guide.