R. C. R. de Lima
Lattes

02

CodesCodes

Abertos ao público e prontos para usar. Rodam no navegador — não instalam nada, não enviam nada para servidor nenhum: toda a conta acontece na aba aberta.

Open to the public and ready to use. They run in the browser — nothing to install, nothing sent to any server: all computation happens in the open tab.

ODEROM

Operational Differential Engine for Riemannian Object Manipulation

Motor simbólico de geometria diferencial. Você escreve a métrica; ele devolve símbolos de Christoffel, tensor de Riemann, Ricci, escalar de curvatura e as equações de campo — com os passos abertos, não só o resultado. Abre num caderno dentro do navegador: funciona igual num laboratório da universidade, num notebook emprestado e numa máquina onde não se pode instalar nada.

A symbolic engine for differential geometry. You write the metric; it returns Christoffel symbols, the Riemann and Ricci tensors, the curvature scalar, and the field equations — with the steps shown, not just the answer. It opens as a notebook inside the browser: it behaves the same in a university lab, on a borrowed laptop, and on a machine where nothing can be installed.

Abrir no navegadorOpen in browser Como citarHow to cite · Zenodo

TESSERA

Manipulador visual de álgebra tensorialVisual tensor-algebra manipulator

Expressões tensoriais se constroem encaixando peças, seguindo o modelo T-mosaic de Giancarlo Bernacchi. A metáfora é matemática, não geométrica: a geometria da peça é a assinatura do tensor, e checar validade algébrica é detectar colisão. Se uma expressão não é bem formada, as peças simplesmente não encaixam.

Tensor expressions are built by snapping pieces together, following Giancarlo Bernacchi's T-mosaic model. The metaphor is mathematical, not geometric: the shape of a piece is the tensor's signature, and checking algebraic validity is collision detection. If an expression is not well formed, the pieces simply do not fit.

Abrir no navegadorOpen in browser TutorialTutorial

ÁLETRA

Atlas, Levantamento e Exterior de Tangentes em Renderização AnimadaAtlas, survey and exterior of tangents in animated rendering

Geometria diferencial que se lê como contagem. Uma 1-forma ω é uma pilha de folhas, um vetor v é uma seta, e ⟨ω, v⟩ é literalmente quantas folhas a seta atravessa — o número na tela e a imagem são a mesma leitura, não dois fatos a reconciliar. Oito superfícies, incluindo o paraboloide de Flamm da fatia equatorial de Schwarzschild, ou qualquer métrica gij que você digitar.

Differential geometry read as counting. A 1-form ω is a stack of leaves, a vector v is an arrow, and ⟨ω, v⟩ is literally how many leaves the arrow crosses — the number on screen and the picture are one reading, not two facts to reconcile. Eight surfaces, including Flamm's paraboloid for the equatorial slice of Schwarzschild, or any metric gij you type in.

Abrir no navegadorOpen in browser TutorialTutorial

PATHS

Editor de diagramas de FeynmanFeynman diagram editor

Desenhe o diagrama, leia a amplitude. As regras de Feynman não estão embutidas no programa: vêm de um arquivo de modelo declarativo, e trocar QED pura pelo Modelo Padrão é trocar um arquivo. O PATHS monta a expressão e para — não simplifica álgebra, não faz traços de Dirac, não integra laço; a saída dele é entrada para o FeynCalc ou o FORM. O diagrama inteiro vive na URL, então mandar um diagrama para alguém é mandar um link.

Draw the diagram, read the amplitude. Feynman rules are not hard-coded: they come from a declarative model file, and swapping pure QED for the Standard Model means swapping a file. PATHS assembles the expression and stops — no algebraic simplification, no Dirac traces, no loop integration; its output is input for FeynCalc or FORM. The whole diagram lives in the URL, so sending someone a diagram means sending a link.

Abrir no navegadorOpen in browser

SUCURI

SymPy Unified Compiler for Unambiguous Rendered Input

LaTeX é tipografia, não semântica. Entregue \dot{x} a um interpretador e ele vira um símbolo chamado dot multiplicando x — a conta segue, sem erro nenhum, e sai errada. O SUCURI varre a entrada, localiza os sítios ambíguos e se recusa a produzir uma expressão enquanto algum estiver sem anotação; resolvido uma vez, o nó guarda a decisão. A equação escrita é o objeto manipulável: a vista em LaTeX é descartável, a árvore semântica debaixo dela não.

LaTeX is typography, not semantics. Hand \dot{x} to a parser and it becomes a symbol named dot multiplying x — the computation carries on, raising nothing, and comes out wrong. SUCURI scans the input, locates the ambiguous sites and refuses to produce an expression while any of them is unannotated; once resolved, the node keeps the decision. The equation you write is the object you manipulate: the LaTeX view is disposable, the semantic tree beneath it is not.

Abrir no navegadorOpen in browser

FAROL

Os pulsares do catálogo ATNF, girando no período medidoThe ATNF pulsars, spinning at their measured period

Escolha qualquer um dos 4.331 pulsares com período no catálogo ATNF e veja a estrela girar no ritmo em que foi medida — ou ouça: uma batida grave a cada pulso, no período exato. Quando a rotação passa da taxa da tela, a imagem borra como o olho a veria, e a câmera lenta (1/10 a 1/1000) mostra o giro. Ao lado, o diagrama P–Ṗ e a posição na Galáxia; B, idade característica e Ė saem de P e Ṗ.

Pick any of the 4,331 pulsars with a period in the ATNF catalogue and watch the star turn at the rate it was measured — or listen: a low thump for every pulse, at the exact period. When the rotation outruns the screen's refresh rate the image blurs as your eye would see it, and slow motion (1/10 to 1/1000) shows the spin. Alongside, the P–Ṗ diagram and the position in the Galaxy; B, characteristic age and Ė follow from P and Ṗ.

Abrir no navegadorOpen in browser

Código de pesquisaResearch code

Também aberto, mas para instalar: roda na linha de comando, numa máquina com compilador.

Open as well, but installed: it runs from the command line, on a machine with a compiler.

GHOST

Graph Hamiltonian Open-System Transport

Propaga estados de sabor de neutrinos — dois ou três sabores, no vácuo ou na matéria, com ou sem decoerência — calculando exp(−iHt)|ψ(0)⟩ por uma expansão de Chebyshev com produto matriz–vetor esparso. Atravessa perfis de densidade de supernova, em lei de potência ou tabelados, varre espectros inteiros (um espectro tipo DUNE de 200 energias numa chamada) e trata o setor magnético, a precessão de spin de um neutrino com momento magnético. Encaixa no SNEWPY como transformação de sabor: a cadeia SNEWPY → SNOwGLoBES passa a usar a conversão propagada, e não os limites adiabático e não adiabático. É o código do preprint sobre o alargamento numérico da frente de choque.

Propagates neutrino flavour states — two or three flavours, in vacuum or in matter, with or without decoherence — by computing exp(−iHt)|ψ(0)⟩ with a Chebyshev expansion and a sparse matrix–vector product. It crosses supernova density profiles, power-law or tabulated, scans whole spectra (a DUNE-like spectrum of 200 energies in one call), and handles the magnetic sector, the spin precession of a neutrino with a magnetic moment. It plugs into SNEWPY as a flavour transformation, so the SNEWPY → SNOwGLoBES chain uses the propagated conversion rather than the adiabatic and non-adiabatic limits. It is the code behind the preprint on numerical shock broadening.

Código no GitHubCode on GitHub Manual (PDF)Manual (PDF, in Portuguese) ArtigoPaper · arXiv:2610.27158