Lucas Viana Reis's repositories
BirkhoffErgodicThm
A proof of Pointwise Birkhoff Ergodic Theorem in Lean
org-mode-hs
Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
ix-cat
Generic instances and recursion schemes for the category of indexed types.
lvar
TMVar with change notification
lean4-minimal-mode
Minimalistic Emacs major mode for Lean 4 using Eglot.
wordiff.el
View Git word diffs in the buffer as overlays. Good for revising prose.
texlab
An implementation of the Language Server Protocol for LaTeX
unionmount
Union mount in Haskell, with fsnotify
n-ary
Experiment with n-ary Functors, Foldables, and Traversables. But don't use this. See ix-cat for a better way of doing the same thing.
nandu
a fork of ema for organon
cgm-remote-monitor
nightscout web monitor
xparsejax
MathJax extension providing xparse definitions
doom-emacs
An Emacs framework for the stubborn martian hacker
mathlib4
Work in progress mathlib port for lean 4
org-transclusion
Emacs package to enable transclusion with Org Mode
org-attach-extra
Useful functions for dealing with org-attach files
pandoc
Universal markup converter
old-site-2
Site pessoal com matemática e outras coisas
org-mode
Parser for Emacs org-mode files
gnome-shell-extension-nightscout
A GNOME Shell Extension which integrates Nightscout into your panel.
yasnippet
A template system for Emacs
evil-tex
Some evil oriented additions to latex document editing in emacs
TikzPictures.jl
This library allows one to create PGF/TikZ pictures and save in various formats. This fork exposes more adjustbox options.
meus-pacotes
Meus pacotes do latex.
Bilhares.jl
Unorganized Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.