Hilbert
Un éditeur de bureau hors ligne pour Typst, destiné aux mathématiques et à l'écriture physique.
v0.2.6
27.3 MBanalysé, sain· 1 téléchargement
Vérifiez votre téléchargement
Sélectionnez le fichier téléchargé pour le comparer au hachage publié — la vérification s'exécute dans votre navigateur, rien n'est envoyé.
Captures d'écran
À propos
Hilbert est un éditeur de bureau open-source pour le langage de saisie Typst sur Windows. Il fonctionne localement et hors ligne, ce qui le rend adapté aux personnes écrivant des documents mathématiques et physiques sans compter sur un éditeur en ligne. L'accent est mis sur la préparation de documents techniques structurés avec Typst.
L'éditeur compile les documents et met à jour leur aperçu au fur et à mesure que vous tapez. Il comprend des outils pour les équations, les figures, les placettes, les matrices et les tableaux, ainsi qu'un support pour l'importation de données. L'intelligence du code est fournie par l'intermédiaire de minuscules, aidant les utilisateurs à travailler avec la source Typst tout en éditant.
Hilbert installe pour un utilisateur individuel et n'exige pas de droits d'administrateur. MirrorNest distribue la construction officielle de Windows directement à partir de son propre stockage et scanne pour malware avant de publier. Son format de bureau Windows et son fonctionnement hors ligne le placent dans la catégorie d'écriture et de composition technique locale.
Architecture : x64
Détails
SHA-256
Est-ce que ça fonctionne toujours pour vous ?
Avis
Pas encore d'avis — soyez le premier.
Plus dans Outils système
Rufus
A utility that helps format and create bootable USB flash drives, such as USB keys/pendrives, memory sticks, etc.
sortify
High-performance folder organizer. Go binary, safety-first, cross-platform.
PureLink
Clean URLs, remove tracking, unshorten links & view history.
DesktopGo
一个面向 Windows 的桌面启动台,把应用唤起、图标整理和 Everything 文件搜索收进同一个入口。
Password Checker
Checks if password was leaked in previous data breaches
Straumr
CLI tool for managing, saving, and sending HTTP requests across workspaces