https://github.com/lua-vr/pointwise-birkhoff

A proof of Pointwise Birkhoff Ergodic Theorem in Lean

Last synced: 11 Jan 2026

https://github.com/lua-vr/wordiff.el

View Git word diffs in the buffer as overlays. Good for revising prose.

Last synced: 03 Feb 2026

https://github.com/lua-vr/eglot-semtok

port of lsp-mode semantic tokens to Eglot

eglot emacs semantic-tokens

Last synced: 11 Oct 2025

https://github.com/lua-vr/xparsejax

MathJax extension providing xparse definitions

js latex latex3 math mathjax web xparse

Last synced: 03 May 2026

https://github.com/lua-vr/tree-sitter-lean

A tree-sitter grammar for the Lean language

lean lean4 tree-sitter tree-sitter-grammar tree-sitter-parser

Last synced: 18 Apr 2026

https://github.com/lua-vr/lvar-simple

Simpler fork of lvar

Last synced: 01 Mar 2026