Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
☆14Feb 4, 2019Updated 7 years ago
Alternatives and similar repositories for FSAUtils
Users that are interested in FSAUtils are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- ☆13Feb 13, 2021Updated 5 years ago
- Simple MIDAS Examples☆12Nov 25, 2018Updated 7 years ago
- Chisel3 AXI4-{Lite, Full, Stream} Definitions☆15Dec 31, 2018Updated 7 years ago
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Wrapper for ETH Ariane Core☆21Sep 2, 2025Updated 10 months ago
- Implementation for paper Automata Extraction from Transformers.☆12Jun 8, 2024Updated 2 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- BFM Tester for Chisel HDL☆14Nov 27, 2021Updated 4 years ago
- AppCode plugin to open the declaration/implementation of the current selected symbol within a vertically splitted tab.☆19May 4, 2021Updated 5 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆30Mar 21, 2023Updated 3 years ago
- implementation for "learning weighted deterministic automata from queries and counterexamples", neurips 2019☆18Jan 8, 2020Updated 6 years ago
- Git helper☆13Mar 27, 2026Updated 3 months ago
- The 3rd Iteration of the Berkeley RISC-V DMA Accelerator☆28Nov 21, 2019Updated 6 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.
- Semi-supervised learning with Generative Adversarial Networks (GANs) using Kolmogorov-Arnold Network Layers (KANLs)☆18Aug 3, 2024Updated last year
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- Useful utilities for BAR projects☆31Jan 3, 2024Updated 2 years ago
- Chisel wrapper and accelerators for Columbia's Embedded Scalable Platform (ESP)☆25Feb 1, 2020Updated 6 years ago
- ☆20Mar 29, 2025Updated last year
- A web page for checking if two regular expressions match the same language.☆18Jan 30, 2018Updated 8 years ago
- The SPAIK LISP Programming Language☆40Sep 15, 2025Updated 10 months ago
- Wrappers for open source FPU hardware implementations.☆37Nov 27, 2025Updated 7 months ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Wrapper for Allied Vision Technology cameras using their Vimba SDK☆10Jul 13, 2016Updated 10 years ago
- Takari Maven Timeline☆35Jun 17, 2026Updated last month
- CMake-based build system for MSP family of microcontrollers (MSP430, MSP432).☆18Jun 15, 2015Updated 11 years ago
- Hierarchical Temporal Memory Models Cluster implementation☆13Sep 23, 2019Updated 6 years ago
- The FlexFringe tool for flexible learning of state machines (deterministic automata) from traces. See the paper at https://arxiv.org/abs/…☆26Jun 3, 2026Updated last month
- Chisel Things for OFDM☆33Jul 1, 2020Updated 6 years ago
- ☆10Apr 8, 2021Updated 5 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆48Feb 27, 2018Updated 8 years ago
- ☆12Feb 15, 2024Updated 2 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.
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆23May 6, 2021Updated 5 years ago
- A fault-injection framework using Chisel and FIRRTL☆39Sep 17, 2025Updated 10 months ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆26Nov 1, 2018Updated 7 years ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- Quickscope port for IdeaVIM☆30Jun 1, 2026Updated last month
- Thesis template for PhD/Lic thesis at Chalmers☆10Nov 4, 2019Updated 6 years ago