LaTeX 2 Word XML
☆58Oct 13, 2026Updated last week
Alternatives and similar repositories for tex2word
Users that are interested in tex2word are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experimental markup language that respects document calculus.☆16Updated this week
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Property-based testing for Haskell, built on Hypothesis.☆20Oct 9, 2026Updated last week
- Implementation of Red / Green syntax trees. Inspired by Rowan☆20Jul 20, 2026Updated 3 months ago
- Property-based testing for OCaml, built on Hypothesis☆25Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Dec 14, 2025Updated 10 months ago
- Prototype of set-theoretic type system, with polymorphism and type inference.☆16Oct 17, 2025Updated last year
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆30Updated this week
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆29Jan 10, 2025Updated last year
- ☆23Mar 24, 2026Updated 6 months ago
- Lisp VSCode Extension☆30Sep 28, 2026Updated 3 weeks ago
- Opus is a minimal, statically-scoped Lisp dialect based on the semantics of f-expressions (the Kernel language).☆27Apr 4, 2026Updated 6 months ago
- ☆24Updated this week
- 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.
- Automatic testing of MoonBit programs☆35Oct 12, 2026Updated last week
- Numerical calculus methods for MoonBit, including differentiation, quadrature, and related scientific computing routines.☆11Oct 13, 2026Updated last week
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- ☆35Oct 15, 2026Updated last week
- 白圣女表情包☆13Oct 24, 2023Updated 2 years ago
- Lean 4 formalization of arXiv:2603.21852 — All elementary functions from a single binary operator eml(x,y) = exp(x) - ln(y)☆33May 13, 2026Updated 5 months ago
- ☆14Sep 4, 2026Updated last month
- An experimental Minecraft Server☆30Updated this week
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆51Mar 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RAML to PDF documentation generator☆13Sep 30, 2014Updated 12 years ago
- TikZ and Data visualization into LaTeX (Mathematics)☆16Nov 11, 2025Updated 11 months ago
- MATH/STAT 4540/5540 Introduction to Time Series, spring 2022☆10Jan 13, 2023Updated 3 years ago
- An HTML5 crafting API.☆21May 7, 2013Updated 13 years ago
- The Kraken Programming Language☆59Feb 8, 2024Updated 2 years ago
- Metadata download plugin for calibre. Downloads bibliographic metadata through the Crossref REST API☆11Sep 27, 2020Updated 6 years ago
- A Common lisp library providing collector macros☆25May 24, 2024Updated 2 years ago
- AMD FEMFX Plugin for Unreal Engine 5.3☆12May 18, 2025Updated last year
- ☆14Sep 30, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library for working with Minecraft json models using three.js.☆22Jan 13, 2023Updated 3 years ago
- 3DGS plugin/LiDARSimLib/Fisheye sensor for UE5 version of CARLA☆12Apr 28, 2025Updated last year
- Navigation page of forums on programing☆14Jul 7, 2015Updated 11 years ago
- Reproducible nix overlay of binary distributed MoonBit toolchains and LSP☆26Updated this week
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- ☆12Apr 10, 2025Updated last year
- Yet another EGE library☆23Jan 29, 2024Updated 2 years ago