lucasvreis
Math (ergodic theory) master student. I've been working on my dissertation, which limits my time to write code that is not TeX (oh no!).
ICMC/USPBrasil
Pinned Repositories
ix-cat
Generic instances and recursion schemes for the category of indexed types.
multiwalk
Create traversals and queries of multiple types at once
old-site
Note: I'm moving this site to Nanoc, which right now is a much more mature static site generator than Franklin. See the new repository!
ondim
Multitype expansions for easy templating
org-attach-extra
Useful functions for dealing with org-attach files
org-mode-hs
Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
organon
📖 view and generate static websites from your Org files (WIP).
wordiff.el
View Git word diffs in the buffer as overlays. Good for revising prose.
xparsejax
MathJax extension providing xparse definitions
lucasvreis's Repositories
lucasvreis/org-mode-hs
Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
lucasvreis/organon
📖 view and generate static websites from your Org files (WIP).
lucasvreis/multiwalk
Create traversals and queries of multiple types at once
lucasvreis/ondim
Multitype expansions for easy templating
lucasvreis/old-site
Note: I'm moving this site to Nanoc, which right now is a much more mature static site generator than Franklin. See the new repository!
lucasvreis/wordiff.el
View Git word diffs in the buffer as overlays. Good for revising prose.
lucasvreis/org-attach-extra
Useful functions for dealing with org-attach files
lucasvreis/ix-cat
Generic instances and recursion schemes for the category of indexed types.
lucasvreis/xparsejax
MathJax extension providing xparse definitions
lucasvreis/Bilhares.jl
Unorganized Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.
lucasvreis/cgm-remote-monitor
nightscout web monitor
lucasvreis/doom-emacs
An Emacs framework for the stubborn martian hacker
lucasvreis/evil-tex
Some evil oriented additions to latex document editing in emacs
lucasvreis/gnome-shell-extension-nightscout
A GNOME Shell Extension which integrates Nightscout into your panel.
lucasvreis/lab3exp3
lucasvreis/lab3exp5
lucasvreis/lvar
TMVar with change notification
lucasvreis/ma719-exercicios
lucasvreis/mathlib4
Work in progress mathlib port for lean 4
lucasvreis/meus-pacotes
Meus pacotes do latex.
lucasvreis/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.
lucasvreis/nandu
a fork of ema for organon
lucasvreis/old-site-2
Site pessoal com matemática e outras coisas
lucasvreis/org-mode
Parser for Emacs org-mode files
lucasvreis/org-transclusion
Emacs package to enable transclusion with Org Mode
lucasvreis/pandoc
Universal markup converter
lucasvreis/texlab
An implementation of the Language Server Protocol for LaTeX
lucasvreis/TikzPictures.jl
This library allows one to create PGF/TikZ pictures and save in various formats. This fork exposes more adjustbox options.
lucasvreis/unionmount
Union mount in Haskell, with fsnotify
lucasvreis/yasnippet
A template system for Emacs