Alternatives and similar repositories for latex2unicode:

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

• epfl-lara / lisa
  Proof assistant based on first-order logic and set theory
  ☆35Updated 4 months ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last week
• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆97Updated this week
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆34Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 2 years ago
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 5 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
• OlivierBlanvillain / regsafe
  ☆19Updated 2 years ago
• JetBrains / arend-lib
  ☆80Updated this week
• TiarkRompf / minidot
  Dependent Object Types (DOT), bottom up
  ☆83Updated 3 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 2 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆35Updated 4 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• b-studios / java-effekt
  Effect Handlers for Java / the JVM
  ☆30Updated 4 years ago
• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• uuverifiers / princess
  The Princess Theorem Prover
  ☆26Updated this week
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆52Updated last week
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆89Updated 2 weeks ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 11 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆39Updated 2 years ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆39Updated last year
• epfl-lara / bolts
  Bolts: Stainless Verified Scala Examples
  ☆20Updated 2 weeks ago
• inc-lc / ilc-scala
  Scala implementation of ILC, with benchmarks
  ☆25Updated 8 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated this week
• rjolly / scas
  Scala Algebra System
  ☆16Updated last month
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆64Updated 2 years ago
• epfl-lara / welder
  Interactive Theorem Proving based on Inox
  ☆10Updated 5 years ago