Latex preprocessor — apply macro definitions, remove comments, and more
☆15Jul 26, 2026Updated 3 months ago
Alternatives and similar repositories for latexpp
Users that are interested in latexpp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The offline developer workstation. 80+ developer tools, API client, SQL, MongoDB & Redis — open source, free, and local-first.☆31Updated this week
- Proxy d3d9.dll for auto-loading libraries in beatmania IIDX INFINITAS.☆12Jul 6, 2024Updated 2 years ago
- Convert NumPy-styled Python docstring to Markdown.☆13Jan 11, 2016Updated 10 years ago
- 🤦🏼♂️ Professional website☆14Updated this week
- ☆13Oct 26, 2026Updated last week
- 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 solver for the Brownian, Stochastic, or Noisy Differential Equations☆12Jul 12, 2018Updated 8 years ago
- ☆19Jul 3, 2019Updated 7 years ago
- A model-checker for caml programs.☆13Mar 31, 2021Updated 5 years ago
- ☆11Dec 1, 2015Updated 10 years ago
- EDSL code☆19Mar 19, 2022Updated 4 years ago
- Native JSON for Rust☆16Dec 10, 2023Updated 2 years ago
- Network inspector for e-amusement cloud games☆24Oct 1, 2021Updated 5 years ago
- Support for linearly-typed generics in Haskell☆10Jun 18, 2026Updated 4 months ago
- Generate methods for an enum that call a method on the enum variant.☆13Nov 7, 2023Updated 2 years 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.
- SpinView: General interactive visual analysis tool for multi-scale computational magnetism☆34Nov 15, 2023Updated 2 years ago
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 3 years ago
- ☆13Feb 7, 2023Updated 3 years ago
- Shush is an intelligent manager for your phone’s ringer.☆10Feb 9, 2018Updated 8 years ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Sep 19, 2026Updated last month
- A rust based command line interface that wraps the android debug bridge into a suite of tools.☆14Updated this week
- Programmable computers for Hytale, powered by Cobalt☆13Feb 2, 2026Updated 9 months ago
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆12Nov 18, 2022Updated 3 years ago
- CMS for via. Moved to https://gitlab.com/studieverenigingvia/viaduct☆16May 20, 2020Updated 6 years ago
- 烛龙 -- 基于Docker的环境快速搭建系统☆12Dec 2, 2016Updated 9 years ago
- An application of genetic algorithms in pathfinding.☆10Oct 28, 2019Updated 7 years ago
- User Fault Objects: making vectors lazy and forgetful.☆13Sep 17, 2021Updated 5 years ago
- Fetch written in Nu🐘☆17Jul 12, 2024Updated 2 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Emacs mode for strace☆15Nov 21, 2017Updated 8 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.
- Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.☆14Dec 29, 2025Updated 10 months ago
- ☆38Nov 23, 2023Updated 2 years ago
- Create scripts for handling complex operations in Integrated Dynamics☆13Oct 23, 2026Updated last week
- Emacs minor mode to display whitespace characters efficiently☆16Jun 26, 2022Updated 4 years ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆28Oct 26, 2026Updated last week
- GitHack is a social gamification platform for GitHub☆15Oct 8, 2014Updated 12 years ago
- A Rocq Mechanization of ECMAScript 2023 Regexes☆16Updated this week