tjt7a

AutomataZoo

Automata Benchmark Suite

paper_summaries

This repository contains summaries of papers relevant for projects I'm working on.

anml_flattener

Tool for Flattening Hierarchical Automaton

Adafruit_Python_SSD1306

Python library to use SSD1306-based 128x64 or 128x32 pixel OLED displays with a Raspberry Pi or Beaglebone Black.

ANML

A repository for generating ANML Files

ANML_PYTHON

Python API for working with ANML

ANMLZoo

High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regular expression rulesets are valid real-world examples of use cases for automata processing, they represent a small proportion of all use cases for automata-based computing. With the recent availability of architectures and software frameworks for automata processing, many new applications have been found to benefit from automata processing. These show a wide variety of characteristics that differ from prior, popular regular-expression benchmarks, and these should be considered when designing new systems for automata processing. This paper presents ANMLZoo, a benchmark repository for automata-based applications as well as automata engines for both von-Neumann and reconfigurable data flow architectures.

APSim

Assignment2

This is the Vitis HLS Code for the FPGA Assignment 2

automata

A rust library to model several different automata & algorithms (crate name pending)

CRISPR

Automata Code for CRISPR

cva6

The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux

DecisionTrees

Decision Trees Inference

hscompile

MNRL HyperScan

hyperscan

High-performance regular expression matching library

legacy-sigmatools

Legacy Sigma Tools (sigmac etc.)

LTLfAutomata

Tools for working with LTLf and automata.

LTLfMining

This repository is for our LTLf mining project

MNCaRT

MNRL Network Computation and Research Testbed

mnrl

MNRL Network Representation Language

neuralccg

Codebase for Global Neural CCG Parsing with Optimality Guarantees

opae-sdk

Open Programmable Acceleration Engine

PconsC3

Faster, more accurate and entirely open source method for predicting contacts in proteins

pySigma

Python library to parse and convert Sigma rules into queries (and whatever else you could imagine)

REAPR

REAPR (Reconfigurable Engine for Automata Processing) is a general-purpose framework for accelerating automata processing applications such as regular expressions. REAPR is currently only compatible with SDAccel-capable Xilinx FPGA boards.

RegexEngines

Example Implementations of Regular Expression Engines

Syft

Synthesizer of LTLf formula

texada

Efficient techniques for mining LTL formulae over linear input traces

ultrascan-hls

HLS + RTL implementation of Ultrascan

VASim

VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an open tool for automata processing research. VASim can also be extended to support hypothetical automata processing elements.