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:
- ☆13Feb 13, 2021Updated 5 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- Simple MIDAS Examples☆12Nov 25, 2018Updated 7 years ago
- Chisel3 AXI4-{Lite, Full, Stream} Definitions☆15Dec 31, 2018Updated 7 years ago
- Wrapper for ETH Ariane Core☆21Sep 2, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- Implementation for paper Automata Extraction from Transformers.☆13Jun 8, 2024Updated 2 years ago
- BFM Tester for Chisel HDL☆14Nov 27, 2021Updated 4 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- Git helper☆13Mar 27, 2026Updated 7 months 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
- The 3rd Iteration of the Berkeley RISC-V DMA Accelerator☆29Nov 21, 2019Updated 6 years ago
- Yet another MessagePack implementation for Scala☆28Jun 13, 2019Updated 7 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.
- Chisel wrapper and accelerators for Columbia's Embedded Scalable Platform (ESP)☆25Feb 1, 2020Updated 6 years ago
- Semi-supervised learning with Generative Adversarial Networks (GANs) using Kolmogorov-Arnold Network Layers (KANLs)☆18Oct 9, 2026Updated 3 weeks ago
- 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
- AppCode plugin to open the declaration/implementation of the current selected symbol within a vertically splitted tab.☆19May 4, 2021Updated 5 years ago
- A web page for checking if two regular expressions match the same language.☆18Jan 30, 2018Updated 8 years ago
- Native OS module API shim for older node.js versions☆12Jun 12, 2017Updated 9 years ago
- The SPAIK LISP Programming Language☆40Sep 20, 2026Updated last month
- Wrapper for Allied Vision Technology cameras using their Vimba SDK☆10Jul 13, 2016Updated 10 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.
- (weighted) dynamic time warping☆19Mar 2, 2018Updated 8 years ago
- Hierarchical Temporal Memory Models Cluster implementation☆13Sep 23, 2019Updated 7 years ago
- Liquid Types implementation for Rust☆31Sep 30, 2022Updated 4 years ago
- ☆21Mar 29, 2025Updated last year
- Wrappers for open source FPU hardware implementations.☆37Nov 27, 2025Updated 11 months ago
- A fault-injection framework using Chisel and FIRRTL☆39Sep 17, 2025Updated last year
- CMake-based build system for MSP family of microcontrollers (MSP430, MSP432).☆18Jun 15, 2015Updated 11 years ago
- Chisel Things for OFDM☆33Jul 1, 2020Updated 6 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆48Feb 27, 2018Updated 8 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.
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.☆23May 6, 2021Updated 5 years ago
- betrusted.io main SoC design☆15Jan 30, 2020Updated 6 years ago
- A Halide backend for ONNX☆12Nov 5, 2019Updated 6 years ago
- Homebrew formulae for an openblas-based toolchain☆12Oct 8, 2018Updated 8 years ago
- MATLAB/Octave generator of Hamming ECC coding. Output format is Verilog HDL.☆12Dec 27, 2022Updated 3 years ago
- Quickscope port for IdeaVIM☆31Sep 19, 2026Updated last month