LaTeX preprocessor
☆78May 7, 2015Updated 11 years ago
Alternatives and similar repositories for preTeX
Users that are interested in preTeX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- Nix URI libs and utils☆15Aug 10, 2024Updated last year
- ☆12Aug 6, 2024Updated last year
- Emacs mode for Maple☆13Jan 23, 2022Updated 4 years ago
- Implements several Markov chain Monte Carlo (MCMC) algorithms for the latent Dirichlet allocation (LDA) model☆11Feb 11, 2020Updated 6 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.
- ☆10Jan 14, 2015Updated 11 years ago
- Network timing evaluation used to detect beacons, works with argus flow as the source☆20May 4, 2016Updated 10 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Exploring calendar outlining☆17Feb 14, 2024Updated 2 years ago
- Android Client for the Ampache music streaming server☆17May 20, 2019Updated 7 years ago
- Systematic Literature Review Mode for Emacs.☆14Feb 1, 2016Updated 10 years ago
- A machine learning pipeline to speed up data science life cycle☆16Dec 8, 2022Updated 3 years ago
- Helm wrapper for clj-refactor☆17Jul 21, 2022Updated 3 years ago
- 采集乌云已确认漏洞和已公开漏洞的状态、厂商、Rank等数据用于分析哪些是良心厂商☆14Jan 3, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- write LaTeX + PSTricks and produce digital textbooks with HTML5 interactivity :)☆65Feb 6, 2020Updated 6 years ago
- a CLI suggestion tool for Wikidata entities☆30Sep 24, 2016Updated 9 years ago
- LaTeX web components☆623Mar 25, 2026Updated 2 months ago
- Emacs package for toggling commas on and off in numbers.☆13Oct 9, 2025Updated 8 months ago
- clojure library that shakes your shell☆121Oct 29, 2015Updated 10 years ago
- Web services and associated functionality for doing Patent Classification Search and Lookups of the CPC, IPC, and USPC patent classificat…☆15Feb 6, 2019Updated 7 years ago
- Docear: An Academic Literature Suite for Searching, Organizing and Creating Academic Literature☆13Nov 1, 2012Updated 13 years ago
- ☆32Aug 21, 2014Updated 11 years ago
- Data Science and Machine Learning Examples for Data Science Linux☆31Aug 29, 2012Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Python Scripts for data pre- and post-processing (parsing, cleaning and analysis)☆13Jun 9, 2011Updated 15 years ago
- Detects links that don't work, missing images and redirects.☆16Feb 12, 2019Updated 7 years ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆14Apr 1, 2025Updated last year
- ☆14Nov 3, 2025Updated 7 months ago
- A simple scheduler that outputs a schedule given a todo list.☆24Nov 22, 2014Updated 11 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- An attempt to formalize my thoughts. A pythonic approach to mental housekeeping☆15Apr 21, 2016Updated 10 years ago
- Repository for UMD CS Course: Introduction to Data Science I: Preparing, Storing, and Manipulating Data☆17Dec 13, 2014Updated 11 years ago
- Database subsetting for local development and testing☆16Oct 15, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pomodoro widget for the awesome WM☆31Nov 2, 2017Updated 8 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 8 months ago
- solve polynomial optimization and generalized moment problem☆16Dec 14, 2015Updated 10 years ago
- A tool for managing infrastructure and policy as code.☆72Mar 31, 2026Updated 2 months ago
- a quick scraper-spider for offline reading of documents organized in annoying "html book" format☆10Jan 12, 2016Updated 10 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- Indexing/curating/documenting Siri Shortcuts on RoutineHub.☆15Oct 29, 2022Updated 3 years ago