Hilbert 0.1.16

Hilbert je desktopové vývojové prostředí pro psaní vědeckých textů v jazyce Typst. Nabízí editor založený na Monaco s zvýrazněním syntaxe, našeptáváním a dokumentací v tooltipu a živý náhled PDF, který se překompilovává při psaní. Umožňuje pracovat s více soubory jako ve VS Code, otevírat složky, spravovat strom souborů, fulltextově prohledávat projekt a sdílet dokument přes #include kapitoly. Nástroj běží lokálně a pracuje offline.

Součástí je sada vizuálních nástrojů pro vkládání matematických a fyzikálních prvků: rovnice, matice, tabulky, 2D a 3D grafy, komutativní diagramy, Feynmanovy diagramy, věty a důkazy. Lze spouštět kód v Pythonu, Julii nebo Wolframu přímo v dokumentu s přenosem proměnných mezi buňkami a vložením výsledku jako sazeté rovnice, obrázku nebo textu. Nástroj dále obsahuje správce citací s vyhledáváním podle DOI a arXiv ID, správce křížových odkazů a štítků, prohlížeč šablon z Typst Universe, import dat z CSV, TSV, Excelu, JSON, YAML a TOML, export do PDF, PNG, SVG a HTML a experimentální end-to-end šifrovanou spolupráci v reálném čase.

Hlavní funkcionality

• Editor Monaco s našeptáváním, dokumentací a diagnostikou pro Typst
• Živý náhled PDF s překompilováním při psaní a skokem ze zdroje do PDF
• Vizuální nástroje pro rovnice, matice, tabulky, věty a důkazy
• Plot Studio pro 2D a 3D grafy funkcí i dat s interaktivním 3D studiem
• Vizuální tvorba komutativních a Feynmanových diagramů
• Spouštění kódu Python, Julia a Wolfram s přenosem proměnných mezi buňkami
• Symbolická matematika: zjednodušení, řešení, derivace a integrace výrazů
• Správce citací s vyhledáváním podle DOI a arXiv ID a ukládáním do refs.bib
• Správce křížových odkazů a štítků s detekcí nedefinovaných a ne použitých
• Import dat z CSV, TSV, Excelu, JSON, YAML a TOML
• Prohlížeč šablon z Typst Universe s náhledem
• Export do PDF, PNG, SVG, HTML a .typ
• Práce s více soubory, strom souborů, fulltextové prohledávání projektu
• Experimentální end-to-end šifrovaná spolupráce v reálném čase