lucasvreis Goto Github PK

bilhares.jl

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

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 indexed types.

lab3exp3

lab3exp5

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

texlab

An implementation of the Language Server Protocol for LaTeX

tikzpictures.jl

This library allows one to create PGF/TikZ pictures and save in various formats. This fork exposes more adjustbox options.

unionmount

Union mount in Haskell, with fsnotify

wordiff.el

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

xparsejax

MathJax extension providing xparse definitions