Alternatives and similar repositories for latex2unicode:

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

• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• denisrosset / alasc
  Computational Group Theory in Scala. It's Scala permuted!
  ☆22Updated 6 years ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated last week
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• vpatryshev / Categories
  Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories
  ☆25Updated last week
• strymonas / strymonas-scala
  Fast streams for Scala 3
  ☆52Updated last month
• ilya-klyuchnikov / mrsc
  A toolkit for building multi-result supercompilers
  ☆30Updated 3 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆64Updated 2 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 2 years ago
• DmytroMitin / dotty-patched
  Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming
  ☆20Updated 2 years ago
• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• bishabosha / spire-scala3
  Bringing Spire to Dotty/Scala 3
  ☆14Updated last year
• JetBrains / arend-lib
  ☆81Updated last month
• adelbertc / circular
  Invertible syntax for Scala.
  ☆13Updated 8 years ago
• arend-lang / tutorial-code
  Source code & exercises in Arend's documentation
  ☆21Updated 3 years ago
• ThoughtWorksInc / feature.scala
  Access Scala language features on the type-level
  ☆31Updated 7 months ago
• epfldata / dbstage
  ☆15Updated 4 years ago
• Atry / Control.Dsl
  An alternative to monads in do notation
  ☆13Updated 4 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last year
• ikuraj / SciFe
  SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants
  ☆15Updated last year
• non / kronecker
  Library for counting and enumerating things.
  ☆47Updated 3 years ago
• alcestes / mpstk
  Multiparty Session Types toolKit
  ☆15Updated 5 years ago
• epfl-lara / scallion
  LL(1) parser combinators in Scala
  ☆58Updated last month
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• coqoon / coqoon
  eclipse plugin to support side-by-side proofs and code
  ☆25Updated 6 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆31Updated last week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• lolgab / mill-mima
  MiMa Plugin for Mill
  ☆15Updated 2 months ago