Convert LaTeX markup to Unicode (in Scala and Java)
☆44May 2, 2022Updated 4 years ago
Alternatives and similar repositories for latex2unicode
Users that are interested in latex2unicode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Our templates for seminars, theses, presentations, ...☆12Oct 1, 2021Updated 5 years ago
- BPELviz visualizes WS-BPEL 2.0 processes interactively with HTML5.☆17Mar 24, 2015Updated 11 years ago
- betsy (BPEL/BPMN Engine Test System) - A BPEL/BPMN Conformance Test Suite and Tool☆20Dec 24, 2017Updated 8 years ago
- Platform as a Service API abstraction layer.☆28Apr 3, 2018Updated 8 years ago
- A collection of scientific and industry conferences focused on cloud computing.☆35Jan 13, 2026Updated 9 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.☆29Jan 28, 2026Updated 9 months ago
- Read Typeclass For Scala☆13May 24, 2022Updated 4 years ago
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- A list of TDD exercises☆10Feb 9, 2018Updated 8 years ago
- Port of 47deg/fetch to Tagless Final Style™️☆11Sep 15, 2025Updated last year
- A LaTeX style for producing author self-archiving copies of (academic) papers.☆10Dec 25, 2025Updated 10 months ago
- MiMa Plugin for Mill☆17Sep 23, 2026Updated last month
- Implementation of red-black trees in Common Lisp, including a persistent red-black tree that uses an append-only strategy for recording c…☆10Oct 8, 2015Updated 11 years ago
- Speed up your daily git tasks☆13Dec 13, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Enforces shaded package and artifact names to ensure binary compatibility across major library versions☆12Nov 6, 2023Updated 2 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Subplex Optimization Algorithm☆11Mar 23, 2026Updated 7 months ago
- Making Platform as a Service offerings comparable - Ecosystem profiles for portability matching.☆141Sep 3, 2024Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Small example projects using JAX-WS technologies.☆15May 1, 2021Updated 5 years ago
- typed/racket + effect system☆11Aug 31, 2025Updated last year
- an advanced string interpolation library☆12May 22, 2022Updated 4 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 11 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple and user-friendly alternative to xdg-open☆10Mar 8, 2021Updated 5 years ago
- Probabilistic Data Structures☆14Sep 26, 2026Updated last month
- Tools for validating and comparing test results collected by the BPMN Model Interchange Working Group at the OMG.☆23Oct 18, 2026Updated last week
- Scala 3 Open Community Build - detects regressions in the Scala 3 compiler based on the Open Source Scala 3 ecosystem☆19Updated this week
- A LaTeX package to typeset menu sequences, key strokes, paths etc.☆47Sep 23, 2026Updated last month
- ☆23Sep 29, 2026Updated last month
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 12 years ago
- The Relaton bibliographic information project☆14Oct 11, 2026Updated 2 weeks ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16May 28, 2026Updated 5 months ago
- Read and write Numpy .npy and .npz files.☆19Sep 19, 2023Updated 3 years ago
- Get knitr to work under Emacs Org-Mode, to produce (latex) articles or Beamer presentations.☆11Aug 9, 2015Updated 11 years ago
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 8 years ago
- java version of dysk☆12Jul 9, 2025Updated last year
- Growing collection of high-quality APIdoc.☆12Mar 19, 2025Updated last year
- 3000+ icons pack for Compose Multiplatform☆11Jun 11, 2024Updated 2 years ago