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:
- The regular expression parser for ECMAScript.☆31Oct 23, 2025Updated 9 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- ☆11May 18, 2021Updated 5 years ago
- Deterministic Regular Expressions with Backreferences☆21Oct 12, 2020Updated 5 years ago
- The regular expression parser for ECMAScript.☆157Apr 30, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Automatically generates schema given json samples.☆10Jun 1, 2016Updated 10 years ago
- An ANTLR 4 grammar for PCRE☆30Jun 6, 2024Updated 2 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- Generates strings that match a regular expression☆12Jun 23, 2026Updated last month
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated last year
- A tool for editing files according to the rules of a provided Turing Machine☆31Aug 6, 2025Updated last year
- java-audit-skillss☆15Mar 31, 2026Updated 4 months ago
- 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
- 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.
- Prettier plugin for Stylus.☆19Aug 17, 2025Updated 11 months ago
- The Z3-Noodler String Solver☆27Updated this week
- ☆11Sep 7, 2023Updated 2 years ago
- Vue Fes Japan Online 2022☆21Apr 21, 2026Updated 3 months ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- A typescript-shaped drop-in backed by typescript-go (tsgo) over an in-process cgo NAPI/FFI bridge — no IPC.☆241Updated this week
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Feb 22, 2021Updated 5 years ago
- 🤖 privatenumber's code linter☆36Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Cross Runtime system service installer.☆13Nov 21, 2024Updated last year
- A VM for enforcing language rules on agAST trees☆47Updated this week
- 📄 Nano JSX Template using Isomorphic JSX.☆14Oct 7, 2022Updated 3 years ago
- fetch-like polyfill for userscript managers☆10Sep 16, 2022Updated 3 years ago
- Helps you manage and autosave your extension's options, separately for each additional permission☆18Jul 4, 2026Updated last month
- 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☆14Nov 24, 2025Updated 8 months ago
- share memory between diffrent Node.js process☆14Sep 11, 2024Updated last year
- Hypertext fragment builder☆13Jul 29, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- Foofah: programming-by-example data transformation program synthesizer☆28Apr 23, 2018Updated 8 years ago
- ECMAScript Language Specification Comparator☆37Updated this week
- iot安全题目学习记录☆17Dec 13, 2021Updated 4 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- A code editor component to play ESLint.☆36Apr 12, 2020Updated 6 years ago
- Evading Snort Intrusion Detection System.☆78Sep 18, 2021Updated 4 years ago