A library for finite automata and regular expressions in the context of JS RegExp
☆31Jun 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:
- Zoom Plugin for Chartist.js☆18Dec 2, 2022Updated 3 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 regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- Generates strings that match a regular expression☆12Jun 23, 2026Updated 3 months 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 dk.brics FSM to regular-expression-string converter☆10Jul 12, 2025Updated last year
- Semiotics of all the symbols and signs of Pragmata Pro typeface☆23Jan 18, 2026Updated 8 months ago
- ☆15Feb 15, 2023Updated 3 years ago
- java-audit-skillss☆16Mar 31, 2026Updated 6 months ago
- An example application using Brightray☆27Apr 4, 2016Updated 10 years ago
- The Z3-Noodler String Solver☆31Updated this week
- ☆11Sep 7, 2023Updated 3 years ago
- Library for watching for file system changes☆11Jul 8, 2025Updated last year
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 8 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.
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 5 years ago
- List of RegEx DoS (ReDoS) CVEs and resources☆31Sep 16, 2026Updated 3 weeks ago
- ☆10Jun 5, 2021Updated 5 years ago
- 🌚🌞 Toggle between dark and light mode in Sublime Text 4☆16May 6, 2023Updated 3 years ago
- A small plugin for @web/test-runner that uses VoiceOver on Mac for integrated a11y screen reader testing.☆15Mar 1, 2022Updated 4 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆37Oct 27, 2025Updated 11 months ago
- The front of Headless CMS. Build an efficient front-end website taking content from multiple data sources.☆13Jun 9, 2026Updated 4 months ago
- ☆34Apr 13, 2026Updated 5 months ago
- Helps you manage and autosave your extension's options, separately for each additional permission☆18Jul 4, 2026Updated 3 months 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.
- DB-based Optical Chemical Structure Recognition☆15Sep 12, 2022Updated 4 years ago
- expose Chrome debugging API to other local apps☆18Oct 28, 2020Updated 5 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- cupsd in a docker container☆12Sep 4, 2026Updated last month
- 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 2 years ago
- a base eslint config used by the npm CLI team☆15Jul 2, 2026Updated 3 months ago
- Evading Snort Intrusion Detection System.☆78Sep 18, 2021Updated 5 years ago
- ☆23Apr 6, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Protect your PHP project from deserialization attacks! As seen on NDSS 2024☆15Aug 8, 2025Updated last year
- SITCON 2019 Official Website☆10Oct 6, 2019Updated 7 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated 2 years ago
- 存储iot设备分析工具和分析文件☆14May 28, 2021Updated 5 years ago
- ☆17Mar 26, 2019Updated 7 years ago
- compiling & parsing☆13Sep 18, 2016Updated 10 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago