Håvard Damm-Johnsen

Advanced
@havarddj

typst-preview.el. Typst live preview minor mode for emacs

139

tree-sitter-sage. SageMath grammar for tree-sitter

7

drawspec. Draw spectra of rings of integers in number fields, using pytikz

2

hilbert-eisenstein. Computing invariants of real quadratic fields using Eisenstein series on the Hilbert modular group

1

drd. Compute Gross-Stark units and Stark-Heegner points using derivatives of p-adic Hilbert Eisenstein familes

1
5
Apply