Alternatives and similar repositories for typst-great-theorems

Users that are interested in typst-great-theorems are comparing it to the libraries listed below

• xyy-cas / tex2typst-rs

  View on GitHub
  A Rust library that converts TeX code to Typst code.
  ☆12Feb 17, 2025Updated 11 months ago
• GabrielDTB / basalt-lib

  View on GitHub
  ☆19Jun 30, 2025Updated 7 months ago
• EpicEricEE / typst-quick-maths

  View on GitHub
  A Typst package for creating custom shorthands for math equations.
  ☆21Feb 28, 2025Updated 11 months ago
• BenLauwens / NativeSVG.jl

  View on GitHub
  A pure Julia SVG generator.
  ☆20Jul 18, 2024Updated last year
• OrangeX4 / typst-theorion

  View on GitHub
  Out-of-the-box, customizable and multilingual theorem environment package for Typst.
  ☆104Dec 18, 2025Updated last month
• marc-thieme / frame-it

  View on GitHub
  Beautiful, flexible, and integrated. Display custom frames for theorems, environments, and more. Attractive visuals with syntax that blen…
  ☆78Dec 3, 2025Updated 2 months ago
• xianghancao / Business-Data-Analytics

  View on GitHub
  《商业数据分析》的授课课件（包含作业）
  ☆13Sep 20, 2025Updated 4 months ago
• qiskit-community / qiskit-quimb

  View on GitHub
  Simulate Qiskit circuits using quimb.
  ☆17Jan 31, 2026Updated 2 weeks ago
• main-educational / intro_nilearn

  View on GitHub
  Introduction to neuroimaging machine learning tool Nilearn
  ☆12Oct 24, 2024Updated last year
• SBY7219 / Yolov5_DeepSort_Replicate

  View on GitHub
  2024维护(复刻)版本的yolov5+deepsort目标检测和追踪，能显示目标类别，能训练自己数据集.包含了一部分测试视频供常识,提供了txt和json两种格式的识别输出方式.可用于识别项目,路面识别,智能交通,毕设等各种.
  ☆10Feb 28, 2024Updated last year
• DieHard073055 / rust-chatgpt-cli

  View on GitHub
  Rust ChatGPT CLI is a user-friendly terminal interface for OpenAI's GPT chatbot. Start conversations, manage ongoing chats, and send text…
  ☆11May 9, 2023Updated 2 years ago
• amedama41 / mathml2omml

  View on GitHub
  Python library to convert MathML to OMML (Office Math Markup Language)
  ☆10Nov 24, 2019Updated 6 years ago
• albanD / pytorch_dev_env_setup

  View on GitHub
  ☆11Dec 9, 2025Updated 2 months ago
• Pangoraw / WasmCompiler.jl

  View on GitHub
  it's just bytes
  ☆14Apr 16, 2025Updated 9 months ago
• JuliaAPlavin / Uncertain.jl

  View on GitHub
  Most efficient numbers with uncertainties and error propagation for scientific computing and measurements.
  ☆13Feb 2, 2026Updated last week
• Aolin-MIR / spellGCN

  View on GitHub
  A third-party implementation of paper《SpellGCN: Incorporating Phonological and Visual Similarities into Language Models for Chinese Spell…
  ☆14Nov 27, 2020Updated 5 years ago
• dlfivefifty / ColorBitstring.jl

  View on GitHub
  A Julia package for colorized version of bitstring
  ☆12Jan 18, 2023Updated 3 years ago
• FlakM / jupiter-search

  View on GitHub
  Convert podstast RSS feed to transcriptions using whisper model
  ☆12Jan 21, 2023Updated 3 years ago
• surrealdb / benchmarking

  View on GitHub
  A collection of benchmarking tools and libraries for testing, comparing, and improving the performance of SurrealDB.
  ☆20Nov 11, 2025Updated 3 months ago
• big-o / transvec

  View on GitHub
  Translate word embeddings across models
  ☆10Aug 17, 2020Updated 5 years ago
• ufechner7 / PkgHelpers.jl

  View on GitHub
  Helper functions for the Julia package manager
  ☆13Dec 31, 2025Updated last month
• giorgia-nadizar / cgpax

  View on GitHub
  Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX
  ☆11Oct 28, 2025Updated 3 months ago
• jlapeyre / IsApprox.jl

  View on GitHub
  Interface for approximate and exact equality
  ☆12Oct 5, 2024Updated last year
• MasonProtter / Conjugates.jl

  View on GitHub
  Goofy physics notation
  ☆11Apr 7, 2020Updated 5 years ago
• TaherJerbi / berg

  View on GitHub
  berg 🦀 Transform the contents of Epub documents.
  ☆10Apr 27, 2023Updated 2 years ago
• higsch / childhood-mortality

  View on GitHub
  ☆13Dec 5, 2022Updated 3 years ago
• IgorKohan / NormalHermiteSplines.jl

  View on GitHub
  Multivariate Normal Hermite-Birkhoff Interpolating Splines in Julia
  ☆10Apr 20, 2021Updated 4 years ago
• haampie / FastPrimeSieve.jl

  View on GitHub
  An optimized prime sieve in Julia
  ☆14Dec 10, 2024Updated last year
• LilithHafner / InterLanguageSortingComparisons

  View on GitHub
  ☆12Feb 17, 2023Updated 2 years ago
• terrabrasilis / terrabrasilis_datasource

  View on GitHub
  The QGIS plugin provides access to the WMS services of the Spatial Data Infrastructure TerraBrasilis.
  ☆12Oct 24, 2025Updated 3 months ago
• mlc-ai / package

  View on GitHub
  ☆14Jan 10, 2026Updated last month
• MasonProtter / CodeCells.jl

  View on GitHub
  ☆16Jul 31, 2025Updated 6 months ago
• GaryMcD / rustacean_gpt

  View on GitHub
  Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…
  ☆14May 10, 2023Updated 2 years ago
• hailiang-wang / corrector

  View on GitHub
  中文错别字纠正工具。音似、形似错字（或变体字）纠正，可用于中文拼音、笔画输入法的错误纠正。python开发。
  ☆10Mar 5, 2018Updated 7 years ago
• CharlesSchimmel / md-graph

  View on GitHub
  Perform graph operations on a collection of interlinked Markdown files (or Obsidian, VimWiki, Zettlr, or Neuron)
  ☆11Jan 6, 2026Updated last month
• j-towns / scanagram

  View on GitHub
  Tidy autoregressive inference in JAX
  ☆15Sep 1, 2025Updated 5 months ago
• GunnarFarneback / LongestPaths.jl

  View on GitHub
  Julia package for finding the longest simple path in a graph.
  ☆14Dec 23, 2023Updated 2 years ago
• heng30 / flymoon

  View on GitHub
  This is a large language model chat client built with Rust and Slint GUI, compatible with OpenAI's API.（这是一个基于Rust和Slint GUI构建的大语言模型聊天客户端…
  ☆14Jan 10, 2026Updated last month
• erikvullings / docx-parser

  View on GitHub
  ☆14May 21, 2024Updated last year