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:
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- ☆12Feb 2, 2017Updated 9 years ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆12Sep 14, 2021Updated 4 years ago
- C++ Implementation of Zip Trees☆14Nov 5, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- ☆12Sep 13, 2024Updated last year
- Performance Counter Measurements at the cycle granularity☆19Jul 9, 2021Updated 5 years ago
- ExtendJ is a Java compiler implemented in reference attribute grammars using JastAdd.☆13Updated this week
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆16Jun 30, 2022Updated 4 years ago
- Implementation of the DeepSqueeze paper: https://cs.brown.edu/people/acrotty/pubs/3318464.3389734.pdf☆13Oct 14, 2021Updated 4 years ago
- Template I use for my Visual C++ projects.☆12Aug 28, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Additional code and data for the automated malware generation paper☆13May 21, 2026Updated 3 months ago
- A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain -- Implementation☆18Oct 10, 2016Updated 9 years ago
- SGXCrypter☆15Jan 19, 2017Updated 9 years ago
- Prize-Collecting Traveling Salesman Problem with Time Windows☆15Nov 8, 2020Updated 5 years ago
- ☆13Jun 24, 2025Updated last year
- QSapecNG☆15Jun 7, 2021Updated 5 years ago
- SQLBarber is a system based on Large Language Models (LLMs) to generate customized and realistic SQL workloads.☆15Apr 7, 2026Updated 5 months ago
- This is a Docker image project with CentOS 7, Elixir, and Phoenix.☆12Sep 11, 2016Updated 9 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 Notebook Environment for Safe and Efficient Exploration☆14Jul 16, 2023Updated 3 years ago
- Python implementations of some algorithms from the CLRS textbook☆10Dec 8, 2019Updated 6 years ago
- The Randomized Dependence Coefficient in Python☆21May 12, 2019Updated 7 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Simple AMD-V (SVM) Virtualization Extensions Demo☆22Nov 7, 2017Updated 8 years ago
- scala-async support for twitter util library☆13Aug 26, 2019Updated 7 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆17May 25, 2022Updated 4 years ago
- The first range filter to simultaneously support dynamic operations, variable-length keys, range queries of any length, and high performa…☆19Jul 17, 2026Updated last month
- Scala 2's PR&CI automation bot☆15Dec 16, 2024Updated last year
- 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.
- Isabelle LLVM Code Generator and Refinement☆29Jul 4, 2026Updated 2 months ago
- ☆12Jul 20, 2015Updated 11 years ago
- ☆15Aug 25, 2026Updated last week
- Deeply learned simulator for Orange Tiny Terror with Recurrent Neural Networks☆22Jun 15, 2022Updated 4 years ago
- Tai-e的Web插件☆22Jun 11, 2024Updated 2 years ago
- W25Qxx Family Driver☆13Sep 28, 2024Updated last year
- Reproducibility package for "Two Birds With One Stone: Designing a Hybrid Cloud Storage Engine for HTAP"☆28Jul 10, 2024Updated 2 years ago