โ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
- ๐ ๅบไบ็ฅ่ฏ็ๆๆฌ็ๆ็ธๅ ณๆ็ซ ๆป็ปไธไธชไบบ็ฌ่ฎฐโ20Oct 5, 2024Updated last year
- Dateset Reset Policy Optimizationโ30Apr 12, 2024Updated 2 years ago
- Symbolic range analysis for LLVM.โ12Jan 10, 2016Updated 10 years ago
- template for https://cnli.meโ10Feb 27, 2025Updated 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.
- 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
- Chapter 3 of Parallel and High Performance Computing bookโ10Apr 25, 2022Updated 4 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshotsโ10Aug 21, 2020Updated 5 years ago
- The EM Algorithm for Gaussian Mixtures ๏ผ้ซๆฏๆททๅๆจกๅ็EM็ฎๆณๅฎ็ฐ๏ผโ12Dec 30, 2018Updated 7 years ago
- โ11Apr 12, 2021Updated 5 years ago
- Parallel implementations of Bellman-Ford algorithm with MPI, OpenMP and CUDA.โ10Sep 25, 2018Updated 7 years ago
- Tool using automatic template inference to find network misconfigurationsโ13Jul 15, 2020Updated 6 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.โ10May 10, 2017Updated 9 years ago
- 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
- 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.
- 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
- Formal Semantics of P4 in Kโ20May 21, 2021Updated 5 years ago
- RapidCDC: Leveraging Duplicate Locality to Accelerate Chunking in CDC-based Deduplication Systemsโ17May 25, 2020Updated 6 years ago
- Software and Hardware Characterization of Streaming Graph Analytics Workloadsโ14Aug 15, 2022Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codesโ23Oct 12, 2022Updated 3 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)โ16Mar 18, 2025Updated last year
- โ18Dec 11, 2023Updated 2 years ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocolsโ17Jan 1, 2022Updated 4 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.
- โ11Jun 14, 2024Updated 2 years ago
- [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
- โ20Jul 5, 2024Updated 2 years ago
- Some paper lists related to storage systemโ15Sep 8, 2021Updated 4 years ago
- code of REโ11Jun 8, 2018Updated 8 years ago
- โ15Aug 12, 2023Updated 2 years ago
- Program locality analysis toolsโ18Aug 9, 2019Updated 6 years ago
- ๐ [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang โฆโ16Oct 13, 2022Updated 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.
- A matlab implementation for sampling log-concave distributions with polytope constraintsโ19Oct 5, 2024Updated last year
- Lenovo modifications to Linux memcached for enhanced persistent memory supportโ18Nov 4, 2021Updated 4 years ago
- [PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learningโ14Jan 14, 2020Updated 6 years ago
- โ19Nov 21, 2022Updated 3 years ago
- Freud, a tool to create Performance Annotations for C/C++ programsโ22Jul 18, 2024Updated 2 years ago
- โ13Mar 9, 2024Updated 2 years ago
- Code accompanying the NeurIPS 2019 paper AutoAssist: A Framework to Accelerate Training of Deep Neural Networks.โ14Oct 3, 2022Updated 3 years ago