Code line highlighting for LaTeX with lstlisting (for beamer)
☆16Nov 11, 2014Updated 11 years ago
Alternatives and similar repositories for linehighlight
Users that are interested in linehighlight are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MiniSat 2.0 for Empscripten☆10Aug 19, 2014Updated 12 years ago
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- The CP solver Chuffed☆20Sep 26, 2016Updated 10 years ago
- ☆13Jun 2, 2024Updated 2 years ago
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- C++ Implementation of Zip Trees☆14Nov 5, 2022Updated 4 years ago
- A Simple Algorithm for Minimum Cuts in Near-Linear Time (SWAT '20)☆12Apr 24, 2020Updated 6 years ago
- A compact, modular C++ library for Customizable Contraction Hierarchies.☆11Feb 13, 2024Updated 2 years ago
- ☆18Jul 30, 2026Updated 3 months ago
- Einsum Expressions in Julia☆15Aug 2, 2025Updated last year
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆14Oct 24, 2026Updated 2 weeks ago
- PWV Functional Language☆17Oct 30, 2023Updated 3 years 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.
- ☆13Mar 7, 2023Updated 3 years ago
- Sequential and distributed AND/OR Branch and Bound for MPE (max-product) problems over graphical models like Bayes and Markov networks.☆17Jan 28, 2016Updated 10 years ago
- A tool to post-process json trace files for IBM-AIU performance analysis. It enhances the traces with additional statistics extracted fro…☆14Updated this week
- C++ library to pack and unpack vectors of integers having a small range of values using a technique called Frame of Reference☆53Feb 19, 2024Updated 2 years ago
- A Rubygem for array-based scientific computations using GPGPU☆12Oct 13, 2017Updated 9 years ago
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 5 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆17Jun 30, 2022Updated 4 years ago
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago
- Implementation of the DeepSqueeze paper: https://cs.brown.edu/people/acrotty/pubs/3318464.3389734.pdf☆13Oct 14, 2021Updated 5 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.
- SQLBarber is a system based on Large Language Models (LLMs) to generate customized and realistic SQL workloads.☆16Apr 7, 2026Updated 7 months ago
- Automatically restore Romanian diacritics from flat text using neural nets☆14Aug 4, 2018Updated 8 years ago
- Printf-style format-strings for user-defined string conversion☆22Updated this week
- Prize-Collecting Traveling Salesman Problem with Time Windows☆15Nov 8, 2020Updated 5 years ago
- 15k open math problems, linked to their sources.☆28Oct 25, 2026Updated last week
- A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain -- Implementation☆18Oct 10, 2016Updated 10 years ago
- This is a Docker image project with CentOS 7, Elixir, and Phoenix.☆12Sep 11, 2016Updated 10 years ago
- Some tutorials for different approaches to verify neural networks.☆14Sep 23, 2022Updated 4 years ago
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 7 years 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.
- ☆18Jan 16, 2025Updated last year
- Code for the paper "(De)Randomized Smoothing for Certifiable Defense against Patch Attacks" by Alexander Levine and Soheil Feizi.☆17Aug 22, 2022Updated 4 years ago
- learned cardinalities for databases☆16Apr 12, 2023Updated 3 years ago
- ☆15Updated this week
- The first range filter to simultaneously support dynamic operations, variable-length keys, range queries of any length, and high performa…☆19Oct 12, 2026Updated 3 weeks ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆11Oct 1, 2026Updated last month
- A Bluesky API library focused on quality of life application-level features☆13Sep 24, 2025Updated last year