tomtung / latex2unicode
Convert LaTeX markup to Unicode (in Scala and Java)
☆36Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for latex2unicode
- Computational Group Theory in Scala. It's Scala permuted!☆21Updated 5 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Scala Algebra System☆15Updated 2 weeks ago
- ☆79Updated this week
- Algebraic Graphs in Scala☆26Updated 3 years ago
- LL(1) parser combinators in Scala☆56Updated 2 years ago
- Proof assistant based on first-order logic and set theory☆33Updated last month
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆62Updated 2 years ago
- ☆15Updated 4 years ago
- GAPT: General Architecture for Proof Theory☆94Updated this week
- Multiparty Session Types toolKit☆15Updated 5 years ago
- Introduction to algebraic effects and handlers☆92Updated 6 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- Fast streams for Scala 3☆46Updated last year
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆29Updated 7 months ago
- An alternative to monads in do notation☆13Updated 3 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 10 months ago
- Dependent Object Types (DOT), bottom up☆83Updated 2 years ago
- The semantic search engine where anyone can define anything anywhere☆30Updated 7 years ago
- Rings: efficient JVM library for polynomial rings☆73Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Proof and Code Presentation Framework☆21Updated 5 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆24Updated last month
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 7 months ago
- ☆12Updated 9 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆32Updated 5 years ago
- Scala implementation of ILC, with benchmarks☆25Updated 8 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 4 years ago
- a capability-based system☆40Updated 6 years ago