lucasvreis Goto Github PK

baremacs

My bare Emacs config! No frameworks.

bilhares.jl

Unorganized Julia code for simulating billiards in a hyperbolic plane or half of a sphere and doing some analysis thereof.

birkhoffergodicthm

A proof of Pointwise Birkhoff Ergodic Theorem in Lean

cgm-remote-monitor

nightscout web monitor

doom-emacs

An Emacs framework for the stubborn martian hacker

evil-tex

Some evil oriented additions to latex document editing in emacs

gnome-shell-extension-nightscout

A GNOME Shell Extension which integrates Nightscout into your panel.

incerteza-lab

Calcula a incerteza de expressões. Útil para as disciplinas de laboratório de física.

ix-cat

Generic instances and recursion schemes for the category of indexed types.

lab3exp3

lab3exp5

lean4-minimal-mode

Minimalistic Emacs major mode for Lean 4 using Eglot.

lvar

TMVar with change notification

ma719-exercicios

mathlib4

Work in progress mathlib port for lean 4

meus-pacotes

Meus pacotes do latex.

multiwalk

Create traversals and queries of multiple types at once

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

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!

old-site-2

Site pessoal com matemática e outras coisas

ondim

Multitype expansions for easy templating

org-attach-extra

Useful functions for dealing with org-attach files

org-mode

Parser for Emacs org-mode files

org-mode-hs

Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄

org-transclusion

Emacs package to enable transclusion with Org Mode

organon

📖 view and generate static websites from your Org files (WIP).

pandoc

Universal markup converter

tempel

:classical_building: TempEl - Simple templates for Emacs

texlab

An implementation of the Language Server Protocol for LaTeX