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:
- ☆15Feb 12, 2018Updated 8 years ago
- Einsum Expressions in Julia☆14Aug 2, 2025Updated 11 months ago
- The eclipse plugin for frege, codename fregIDE☆31Sep 14, 2019Updated 6 years ago
- Tools for Natural Language Processing☆12Feb 16, 2018Updated 8 years ago
- BinDex: A Two-Layered Index for Fast and Robust Scans (SIGMOD2020)☆10Jun 5, 2020Updated 6 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.
- https://openjdk.org/projects/tsan☆27Updated this week
- CU InSpace's avionics software☆11Sep 17, 2023Updated 2 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆12Sep 14, 2021Updated 4 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆24Aug 15, 2019Updated 6 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- ☆12Sep 13, 2024Updated last year
- Mastodon client based on Akka Streams.☆11Apr 16, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A simple adaboost code using decision stumps as weak classifiers☆11Nov 1, 2012Updated 13 years ago
- xctrace (a.k.a. Instruments) based profiler for JMH☆36Mar 23, 2024Updated 2 years ago
- An automated theorem prover for first order logic.☆31Mar 23, 2017Updated 9 years ago
- Implementation of Google Dremel's storage engine in a custom in-memory DB with query compilation.☆14Oct 10, 2020Updated 5 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jul 18, 2026Updated last week
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 3 months ago
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago
- bidirectional astar search☆11Mar 14, 2013Updated 13 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆16Jun 30, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The blockdiagram LaTeX package defines a set of tikz macros to draw nice block diagrams.☆17Dec 2, 2018Updated 7 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 7 years ago
- Template I use for my Visual C++ projects.☆12Aug 28, 2019Updated 6 years ago
- Automatically restore Romanian diacritics from flat text using neural nets☆14Aug 4, 2018Updated 7 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
- MPS C# implementation☆35Nov 5, 2024Updated last year
- A Rubygem for array-based scientific computations using GPGPU☆12Oct 13, 2017Updated 8 years ago
- A tool for weighted model counting through tensor network contraction☆21Nov 13, 2021Updated 4 years ago
- A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain -- Implementation☆18Oct 10, 2016Updated 9 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.
- ☆13Jun 24, 2025Updated last year
- A useful starting point for CFIs, students, and anyone hoping to learn more about aviation.☆16Updated this week
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Jan 18, 2023Updated 3 years ago
- Tip and tricks for hardware board design☆11Jun 23, 2025Updated last year
- SQLBarber is a system based on Large Language Models (LLMs) to generate customized and realistic SQL workloads.☆15Apr 7, 2026Updated 3 months ago
- This is a Docker image project with CentOS 7, Elixir, and Phoenix.☆12Sep 11, 2016Updated 9 years ago
- Python implementations of some algorithms from the CLRS textbook☆10Dec 8, 2019Updated 6 years ago