Alternatives and similar repositories for latex2unicode

Users that are interested in latex2unicode are comparing it to the libraries listed below

• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 6 years ago
• JetBrains / arend-lib
  ☆81Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆51Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆100Updated last month
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆59Updated 2 months ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated this week
• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆38Updated 7 months ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• openmole / scalatex
  Programmable, Typesafe Document Generation
  ☆14Updated 4 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated 2 weeks ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆87Updated 3 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated last month
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 6 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• simple-haskell / simple-haskell-website
  Home page for the Simple Haskell Initiative
  ☆15Updated 2 years ago
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated last week
• scala-search / scaps
  Scala API Search
  ☆38Updated 8 years ago
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated 8 months ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆89Updated 4 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated last year