Program locality analysis tools
☆18Aug 9, 2019Updated 6 years ago
Alternatives and similar repositories for loca
Users that are interested in loca are comparing it to the libraries listed below
Sorting:
- Multiple approaches to statistical simulation for computer architects☆15Jun 1, 2020Updated 5 years ago
- Utility to simulate cache behavior with Mattson's Stack Algorithm.☆28Dec 3, 2021Updated 4 years ago
- The unofficial Scala game☆11Oct 26, 2020Updated 5 years ago
- Just save my record on github...☆27Feb 7, 2021Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- This is the source code for our (Tobias Ziegler, Jacob Nelson-Slivon, Carsten Binnig and Viktor Leis) published paper at SIGMOD’23: Desig…☆28Sep 24, 2024Updated last year
- This is a seed project for a FullStack service in Scala using Play, Sangria, Scala.js, React and Apollo client.☆12Jun 16, 2019Updated 6 years ago
- The Splash-3 benchmark suite☆45Apr 24, 2023Updated 2 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- Go allocation trace utilities☆15Jan 8, 2021Updated 5 years ago
- Converts QTI (quiz) export from Canvas to other formats, like Word or JSON.☆24Sep 21, 2023Updated 2 years ago
- Ekho: Realistic and Repeatable Experimentation for Tiny Energy-Harvesting Sensors☆20Feb 7, 2019Updated 7 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 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
- A port of gears.c to Scala using Scala Native☆15Sep 26, 2018Updated 7 years ago
- Template for LaTeX beamer slides using #uulm corporate design.☆15Dec 3, 2022Updated 3 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 2 years ago
- ☆11Aug 5, 2020Updated 5 years ago
- ☆10Jun 12, 2023Updated 2 years ago
- ☆13Jun 12, 2024Updated last year
- 2023/12/22 电三 420 每周会议技术分享：「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated last year
- Roaring bitmaps in C☆17Mar 8, 2016Updated 10 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- ☆12Nov 8, 2024Updated last year
- Supplementary Material to accompany the paper, DJ Warne, SA Sisson, C Drovandi (2019) Acceleration of expensive computations in Bayesian…☆13Oct 23, 2020Updated 5 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- ☆11Nov 13, 2022Updated 3 years ago
- Python library (C++ backend) for degree-preserving network randomization☆14Oct 14, 2019Updated 6 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated last year
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …☆16Mar 5, 2021Updated 5 years ago
- C++ Discrete Wavelet Transform Using Lifting Method☆23Mar 14, 2015Updated 11 years ago
- The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.☆12Apr 25, 2024Updated last year
- Altair8800_Mister☆13Dec 9, 2025Updated 3 months ago
- ☆11Apr 12, 2021Updated 4 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Jul 14, 2022Updated 3 years ago