You must be logged in to sponsor lua-vr
Become a sponsor to Lua Viana Reis πΈ
I often do contributions to the Emacs, Haskell and Lean ecosystems, centred around mathematics and note-taking. I'm also a maths graduate student at USP. And I have type 1 diabetes. I was born in Salvador, Brazil.
If my work is meaningful to you, I would be happy to receive some support. I love all the work I do here, but any contribution is always appreciated!
Featured work
-
lua-vr/ondim
Multitype expansions for easy templating.
Haskell 7 -
lua-vr/org-mode-hs
Libraries and tool for parsing Org Mode documents with customizable exporters. π¦
Haskell 24 -
leanprover-community/mathlib4
The math library of Lean 4
Lean 2,921 -
lua-vr/pointwise-birkhoff
A proof of Pointwise Birkhoff Ergodic Theorem in Lean
Lean 3 -
lua-vr/eglot-semtok
port of lsp-mode semantic tokens to Eglot
Emacs Lisp 2 -
lua-vr/lean-ts-mode
A major-mode for Lean 4 based on tree-sitter. (not ready for use)
C 1