☆14Dec 4, 2023Updated 2 years ago
Alternatives and similar repositories for tex-gallery
Users that are interested in tex-gallery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AR-DAE: Towards Unbiased Neural Entropy Gradient Estimation☆15Jun 22, 2020Updated 6 years ago
- ⚡Accelerated nerfstudio implementation of 😈 BAD-NeRF (CVPR 2023). Train a scene from blurry images in minutes!☆19Mar 15, 2025Updated last year
- Nix derivation to build iso installer that will run on Windows 11 Hyper V. Uses the Microsoft Linxus WSL2 kernel 6.6.☆15Jul 8, 2024Updated 2 years ago
- 一个简单的漫画客户端，使用 flutter 开发。☆14Aug 23, 2026Updated last month
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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.
- A Python reference implementation of rigid body dynamics algorithms☆18Jul 17, 2023Updated 3 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- Sparse Matrix-Matrix Multiplication Benchmark on Intel Xeon and Xeon Phi (KNC, KNL) from blog post:☆12Sep 25, 2016Updated 10 years ago
- ☆17Jun 12, 2024Updated 2 years ago
- ☆18May 1, 2024Updated 2 years ago
- Chapter 3 of Parallel and High Performance Computing book☆10Apr 25, 2022Updated 4 years ago
- Windows ARM64 build for TeX Live☆16Mar 13, 2025Updated last year
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A CUDA-based multi-GPU vertex-centric graph processing framework based on Warp Segmentation and Vertex Refinement techniques.☆12Mar 20, 2017Updated 9 years ago
- ☆11Apr 12, 2021Updated 5 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 9 years ago
- Source code for XPGraph-MICRO22☆11Apr 10, 2023Updated 3 years ago
- ☆11Sep 15, 2024Updated 2 years ago
- coding examples from CS170 operating systems lectures☆10Jan 26, 2026Updated 8 months ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆18Jul 14, 2022Updated 4 years ago
- Implementation of Influence Maximisation on a graph dataset.☆17Dec 12, 2018Updated 7 years ago
- Lipschitz Lifelong RL☆11Nov 6, 2020Updated 5 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.
- MPIWasm is a WebAssembly Embedder based on Wasmer that enables the high-performance execution of MPI applications compiled to Wasm. (ACM …☆20Jan 30, 2024Updated 2 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- Source code of paper "Probabilistic Profiling of Stateful Data Planes for Adversarial Testing"☆12Apr 19, 2021Updated 5 years ago
- RISC-V Rocket on the Digilent Zybo Board☆21Aug 6, 2014Updated 12 years ago
- Small string compression using smaz compression algorithm. Fast, because it's in C. Supports Python 3+☆13Oct 18, 2025Updated 11 months ago
- (unofficial)Typora plugin☆15Apr 28, 2025Updated last year
- Formal Semantics of P4 in K☆20May 21, 2021Updated 5 years ago
- ☆11Oct 26, 2015Updated 10 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Sep 6, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆18Dec 11, 2023Updated 2 years ago
- ☆11Jun 14, 2024Updated 2 years ago
- NeuroSim (NS)-Cache is a framework developed for early exploration of cache memories in advanced technology nodes☆19Sep 16, 2026Updated last week
- Official code for: Observe Then Act: Asynchronous Active Vision-Action Model for Robotic Manipulation (OTA)☆21Dec 30, 2024Updated last year
- libmpv for OpenHarmony☆19Aug 11, 2026Updated last month
- [ICCV2019] ThunderNet: Towards Real-time Generic Object Detection on Mobile Devices☆15Mar 28, 2022Updated 4 years ago
- [NeurIPS 2024] Artemis: Towards Referential Understanding in Complex Videos☆27Apr 8, 2025Updated last year