Alternatives and similar repositories for nott-course

Users that are interested in nott-course are comparing it to the libraries listed below

• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆19Updated last month
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆20Updated last year
• kokic / kodama
  A Typst-friendly static Zettelkästen site generator.
  ☆101Updated last week
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 7 months ago
• LighghtEeloo / lala-lang
  [WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.
  ☆39Updated 3 years ago
• banana-space / banana-space
  ☆189Updated last year
• QuadnucYard / ourchat-typ
  Forge wonderful chat messages in typst
  ☆91Updated 3 weeks ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆141Updated last year
• chafan-dev / chafan-pwa
  PWA for Chafan
  ☆52Updated 2 weeks ago
• OrangeX4 / typst-theorion
  Out-of-the-box, customizable and multilingual theorem environment package for Typst.
  ☆76Updated last week
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆39Updated 2 months ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 6 months ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated last month
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• zxch3n / wenyanizer
  代碼如詩 Parse JavaScript Code to Wenyan Lang
  ☆124Updated 2 years ago
• niltok / tesseract
  only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy
  ☆52Updated 2 years ago
• 0xbolt / wypst
  Typst math typesetting for the web.
  ☆73Updated last month
• syimyuzya / guangyun0704
  有女同車《〈廣韻〉全字表》原表
  ☆15Updated 8 months ago
• ice1000 / copilot-learning-materials
  My type-ups for copilot to learn from.
  ☆11Updated 2 years ago
• Trebor-Huang / history
  History of type theory (Chinese).
  ☆349Updated 2 months ago
• EricWay1024 / tikzcd-editor
  Drawing commutative diagrams for Typst commute
  ☆21Updated last year
• tgdwyer / tgdwyer.github.io
  Apps and Demos
  ☆32Updated last week
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆320Updated last week
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 7 months ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆197Updated this week
• Jollywatt / typst-wordometer
  A small Typst package for quick and easy in-document word counts.
  ☆35Updated 3 months ago
• banana-space / btex
  ☆50Updated last year