A library for finite automata and regular expressions in the context of JS RegExp
☆30Jun 16, 2024Updated 2 years ago
Alternatives and similar repositories for refa
Users that are interested in refa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Utilities for ESLint plugins and custom rules.☆25Updated this week
- Rust implementation + Python bindings for image effects used in chaiNNer☆13Jun 11, 2024Updated 2 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 11 months ago
- ☆11May 18, 2021Updated 5 years ago
- Deterministic Regular Expressions with Backreferences☆21Oct 12, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- JS multi-line literal done right☆19Updated this week
- Merge multiple ESLint processors to behave like one☆21Feb 8, 2025Updated last year
- i18n devtools for debugging Intlify applications☆12Apr 22, 2021Updated 5 years ago
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 10 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated last year
- Vue Fes Japan Online 2022☆21Apr 21, 2026Updated 2 months ago
- ESLint plugin to suppresses ESLint errors as warnings for future resolution☆26Feb 1, 2026Updated 5 months ago
- ☆15Feb 15, 2023Updated 3 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.
- A YAML parser that produces output compatible with unist☆28Jun 9, 2026Updated last month
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆22Dec 17, 2021Updated 4 years ago
- peda like debugger script for windbg/windbgx and mingw-gdb☆11Dec 31, 2021Updated 4 years ago
- Prettier plugin for Stylus.☆19Aug 17, 2025Updated 11 months ago
- The Z3-Noodler String Solver☆27Updated this week
- Make synchronized functions.☆28Apr 12, 2026Updated 3 months ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- ☆11Sep 7, 2023Updated 2 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- A hover custom feature for Tanstack Table☆18May 25, 2024Updated 2 years ago
- Migrate JSON-Schema draft-04 to draft-07, draft-2019-09 or draft-2020-12☆28Mar 28, 2021Updated 5 years ago
- Kysely dialect, plugins and other goodies for Amazon S3 Select☆18Aug 14, 2024Updated last year
- The Princess Theorem Prover☆36Jul 2, 2026Updated 2 weeks ago
- 🤖 privatenumber's code linter☆36Jul 14, 2026Updated last week
- Kysely migrations and codegen CLI☆20Mar 3, 2024Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 8 months ago
- Cross Runtime system service installer.☆13Nov 21, 2024Updated last year
- 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.
- Check your regex for ReDoS vulnerability.☆26May 18, 2018Updated 8 years ago
- Cursor based pagination utils for Kysely☆15Nov 8, 2025Updated 8 months ago
- 📄 Nano JSX Template using Isomorphic JSX.☆14Oct 7, 2022Updated 3 years ago
- Create virtual files in ESLint for each Vue SFC block to lint them individually.☆33Feb 8, 2025Updated last year
- The Ultimate File Upload Bypass Generator☆15Nov 24, 2025Updated 7 months ago
- Hypertext fragment builder☆13Sep 14, 2025Updated 10 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year