Automata Benchmark Suite
☆23Oct 23, 2023Updated 2 years ago
Alternatives and similar repositories for AutomataZoo
Users that are interested in AutomataZoo are comparing it to the libraries listed below
Sorting:
- VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, …☆36May 17, 2024Updated last year
- High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…☆35Nov 20, 2023Updated 2 years ago
- ☆19Nov 21, 2022Updated 3 years ago
- ☆22Sep 16, 2021Updated 4 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Dec 18, 2024Updated last year
- ☆12Oct 25, 2022Updated 3 years ago
- ☆14Apr 24, 2024Updated last year
- Hopscotch: A benchmark suite for memory performance evaluation☆16Apr 8, 2025Updated 10 months ago
- A parallel programming model for online applications with complex synchronization requirements.☆16Jun 8, 2022Updated 3 years ago
- A Deterministic Finite Automata GPU-based Engine☆17Sep 6, 2017Updated 8 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆17Feb 22, 2025Updated last year
- ☆23Oct 31, 2023Updated 2 years ago
- JPStream: JSONPath Stream Processing in Parallel☆25Nov 15, 2022Updated 3 years ago
- ☆71May 29, 2019Updated 6 years ago
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Apr 17, 2023Updated 2 years ago
- Optimizing scheduler. Combinatorial instruction scheduling project.☆27Jan 7, 2026Updated last month
- A framework for pipelined computing on GPU☆30Jul 17, 2019Updated 6 years ago
- JSONPath Streaming with Bit-Parallel Fast-Forwarding☆33Oct 10, 2024Updated last year
- ☆29Feb 2, 2017Updated 9 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆31Sep 19, 2024Updated last year
- LonestarGPU: Irregular algorithms parallelized for GPUs☆38Nov 11, 2019Updated 6 years ago
- Enterprise: Breadth-First Graph Traversal on GPUs. SC'15.☆32May 20, 2017Updated 8 years ago
- an approximate compiler☆38May 14, 2020Updated 5 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- Python CMake wrapper☆13Jul 21, 2022Updated 3 years ago
- This repo contains instructions, benchmarks, and files for running user space networking in gem5 simulator.☆12Aug 1, 2024Updated last year
- ANT-ACE: Advanced Compiler Ecosystem for Fully Homomorphic Encryption and Domain Specific Computing☆56Updated this week
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Feb 24, 2026Updated last week
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 6 years ago
- Randomized Linear Algebra in Python☆13Mar 21, 2017Updated 8 years ago
- Pre-release: VS Code extension for making front-end development a breeze☆12Jun 17, 2024Updated last year
- Source code & scripts for experimental characterization and demonstration of 1) simultaneous many-row activation, 2) up to nine-input maj…☆11May 17, 2024Updated last year
- INFINEL: An efficient GPU-based processing method for unpredictable large output graph queries [PPoPP'24]☆10Jan 15, 2024Updated 2 years ago
- An implementation of the Pregel graph processing system on the Spark cluster computing framework. Merged into Spark; please see:☆11Apr 9, 2011Updated 14 years ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 5 months ago
- Java inefficiency detection tool based on CPU performance monitoring counters and hardware debug register. The tool detects dead writes, …☆45Sep 1, 2021Updated 4 years ago
- Julia package for scenario generation for stochastic programs with tail risk measure☆11Nov 16, 2022Updated 3 years ago