A converter for LaTeX documents to EPUB/Mobipocket with a web interface written in Python.
☆29Oct 11, 2021Updated 4 years ago
Alternatives and similar repositories for tex2ebook
Users that are interested in tex2ebook are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆25Jan 14, 2019Updated 7 years ago
- ☆24Jan 28, 2016Updated 10 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 8 months ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years 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 free and open source online judge system for programming courses☆22Feb 20, 2020Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- Elixir library for encoding and decoding Base58 and Base58Check using the Bitcoin/IPFS, Ripple, and Flickr alphabets.☆12Jul 7, 2022Updated 4 years ago
- DeepSeek Operator - OpenAI Operator Alternative (Run Locally for FREE)☆15Feb 12, 2025Updated last year
- A docker image for Zig based upon Alpine Linux 3.16.☆14Jul 26, 2022Updated 4 years ago
- Would-be companion app for wasp-os. Check the link below for an active fork.☆11Nov 9, 2022Updated 3 years ago
- A Quoridor game for terminal and web☆16Jan 17, 2025Updated last year
- Android App that genereates passcode authentication codes for Postfinance cards☆12Feb 22, 2022Updated 4 years ago
- Download read-only/protected PDF files on Onedrive using selenium☆15Dec 6, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Kakoune syntax highlighting for Zig☆15Apr 25, 2019Updated 7 years ago
- a syntax directed editor☆17Apr 2, 2024Updated 2 years ago
- A tiny linux with simple shell and full network support. Homework for Advanced Operating System☆11Jun 8, 2015Updated 11 years ago
- An opinionated approach to have type safety in native JavaScript.☆10Jan 11, 2022Updated 4 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- GitHub Action for generating a PDF from LaTeX☆17Updated this week
- an ultra-minimal productivity system☆19Jul 6, 2023Updated 3 years ago
- centralized authentication/authorization for Kel☆11Aug 23, 2016Updated 10 years ago
- #7DaysOfCode Challenge. Next step #100DaysOfCode☆12May 1, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A portable Forth system inspired by ColorForth and Tachyon☆17May 27, 2026Updated 4 months ago
- A delightful programming language for writing reliable software☆19Oct 24, 2024Updated last year
- Open Domain Question Answering☆15Mar 7, 2014Updated 12 years ago
- ☆24Updated this week
- ☆13Jul 21, 2016Updated 10 years ago
- DEPRECATED Static website generator inspired by jekyll based on flask.☆10Jul 23, 2017Updated 9 years ago
- Cookiecutter template for a Python package.☆51Apr 13, 2026Updated 5 months ago
- Twitter streams cli tool (node.js)☆11Jul 23, 2016Updated 10 years ago
- 🧐Justfile ecosystem analysis tool☆38Jun 11, 2026Updated 3 months ago
- 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.
- A pygments lexer for pytest output☆23Nov 7, 2025Updated 10 months ago
- Dana, Symbol of Wisdom☆21Jul 17, 2020Updated 6 years ago
- Rerun travis-ci tests after any dependency is updated☆12May 28, 2019Updated 7 years ago
- A demo course with as many features turned on as possible☆10Feb 24, 2022Updated 4 years ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- A watcher for contributors to various projects.☆10Sep 13, 2021Updated 5 years ago
- [ARCHIVE - very out of date] Intro textbook for web development with Sinatra and ActiveRecord☆13Dec 31, 2015Updated 10 years ago