Abstract interpretation based, value-, catcode-, and path sensitive static analysis for (La)TeX and friends (with full support for TeX, eTeX, LaTeX(3), and more)
☆12Nov 5, 2026Updated this week
Alternatives and similar repositories for satex-analyzer
Users that are interested in satex-analyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A hopefully growing collection of (latex) beamer-themes that i have created over the years. All themes supplied are standalone versions.☆34Sep 19, 2026Updated last month
- Folien für den How-To-Studium Vortrag der Informatik ESE 2026 der Uni Ulm.☆13Oct 5, 2026Updated last month
- A beamer latex template for slides and lectures at University of Ulm☆12Jun 12, 2024Updated 2 years ago
- Easily parse, normalize and display simple λ-Calculus expressions.☆11Jun 29, 2026Updated 4 months ago
- zref packages for LaTeX☆13Oct 15, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Development tools for expl3 programmers☆22Updated this week
- 🐧 Penguins in LaTeX with TikZ☆99Oct 8, 2026Updated 3 weeks ago
- Package to create fancy QR-codes in LaTeX.☆67Oct 19, 2026Updated 2 weeks ago
- emo•ji for all (LaTeX engines) 🎉☆15May 22, 2023Updated 3 years ago
- LILLY - Latex Framework☆12Jul 29, 2021Updated 5 years ago
- tex engine detection☆17Jul 24, 2025Updated last year
- lineno – Line numbers on paragraphs☆17Aug 21, 2026Updated 2 months ago
- A protocol to quickly transfer software builds☆39Dec 5, 2025Updated 11 months ago
- ☆31Jul 14, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Sophisticated static program analysis framework for the R programming language.☆108Updated this week
- Slay your Zune☆15Jun 22, 2025Updated last year
- 📑 A to-do list app in flutter using Firebase, SQLite, provider, modules and a bit more of everything.☆14May 4, 2025Updated last year
- Profiling framework for the R language☆11Jun 8, 2017Updated 9 years ago
- Material for lectures on software product lines☆17Mar 2, 2026Updated 8 months ago
- GitHub actions: Cache anything new☆17Jul 5, 2026Updated 4 months ago
- An attempt to recreate the original Zune catalog server (catalog.zune.net)☆12Apr 24, 2023Updated 3 years ago
- Transform Serial R Code into Parallel R Code☆11Nov 17, 2020Updated 5 years ago
- Updating the oberdiek bundle☆18Updated this week
- 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.
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆88Updated this week
- TROFF Syntax Highlighter for Visual Studio Code☆15Dec 21, 2022Updated 3 years ago
- ☆79Aug 13, 2026Updated 2 months ago
- UniversalSpeech ibrary: make popular screen readers speak in your application☆48Apr 4, 2025Updated last year
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆20Sep 30, 2026Updated last month
- Junco - a local AI coding agent in Swift☆13Apr 24, 2026Updated 6 months ago
- ☆20Apr 26, 2026Updated 6 months ago
- Named parameters in TeX definitions☆12Jun 22, 2020Updated 6 years ago
- Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.☆11Dec 11, 2025Updated 10 months 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.
- A software for ScanQT hardware☆13Nov 30, 2021Updated 4 years ago
- Find (missing) dependencies in R-source code☆13Oct 1, 2025Updated last year
- A technical guide for pairing CJK and Latin fonts☆14Oct 5, 2021Updated 5 years ago
- This package provides a set of high-quality icons for use in notes for tabletop role-playing games.☆11Sep 14, 2026Updated last month
- A Dynamic tracing framework for R☆11Jul 8, 2021Updated 5 years ago
- Discord Rich Presence integration for the Zune.☆18Feb 1, 2023Updated 3 years ago
- Visually Extract Colors from Code☆14Sep 10, 2014Updated 12 years ago