A library for finite automata and regular expressions in the context of JS RegExp
☆30Jun 16, 2024Updated last year
Alternatives and similar repositories for refa
Users that are interested in refa are comparing it to the libraries listed below
Sorting:
- Utilities for ESLint plugins and custom rules.☆23Jan 14, 2026Updated last month
- The regular expression parser for ECMAScript.☆30Oct 23, 2025Updated 4 months ago
- Rust implementation + Python bindings for image effects used in chaiNNer☆12Jun 11, 2024Updated last year
- ESLint plugin related to Math object and Number.☆15Updated this week
- Utilities for ESLint rule fixers and suggestions. 🧑🔧☆17Updated this week
- Tagged template for CSS Modules: const styles = css`.root { color: red; }`; <div class={styles.root}></div>☆18Mar 2, 2023Updated 2 years ago
- 🤖 privatenumber's code linter☆33Updated this week
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- A Typescript implementation of the Design Tokens Format Module specification☆37Jan 29, 2026Updated last month
- Eslint Plugin for Pinia☆37Nov 21, 2025Updated 3 months ago
- ☆10May 26, 2025Updated 9 months ago
- Realtime social project with laravel, vuejs and pusher☆11Nov 24, 2018Updated 7 years ago
- A time delay estimation method for event-based time-series data. Time delay estimation is also known as the correction of time offsets an…☆15Dec 3, 2025Updated 2 months ago
- Typed opinionated library to make HTTP calls in node and the browser.☆12Apr 23, 2024Updated last year
- Truncate datetime objects to the specifiec level of precision, inspired by PostgreSQL's DATE_TRUNC.☆14Apr 20, 2021Updated 4 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- The regular expression parser for ECMAScript.☆158Apr 30, 2023Updated 2 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- An audio sound effects synthesizer for Arduino, based on Mozzi☆13Dec 30, 2016Updated 9 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Validate and generate Portuguese specific identity numbers☆10Jan 21, 2026Updated last month
- Analyze experimental data with Programming by Navigation☆13Updated this week
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- Eternium CSS Framework☆13Dec 26, 2025Updated 2 months ago
- Repository containing the UI and anonymized participant data for "Do Users Write More Insecure Code with AI Assistants?"☆12Apr 11, 2024Updated last year
- auto-generating summaries of interactive and dynamic geovisualization☆11Dec 9, 2024Updated last year
- Build an astonishing framework-agnostic SVG icon library with ease. Out of the box icon optimization, build process, and icon showcase. �…☆39Mar 14, 2023Updated 2 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- An e-drum set based on 3d-printed parts☆12Apr 4, 2016Updated 9 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- 微信小程序canvas签字板，支持清空，撤回上一步，生成图片，保存到手机相册等功能☆10Nov 20, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Generate SVG mesh gradients.☆10Feb 10, 2023Updated 3 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- an unofficial Georgia Tech theme for JupyterLab☆10Jun 29, 2021Updated 4 years ago
- Oxc Playground☆58Updated this week
- Restores firmware and filesystem to iPhone/iPod Touch☆10Jun 7, 2010Updated 15 years ago
- Official website of Giada Loop Machine. Powered by NodeJS, SASS, Pug and other beautiful JavaScript machineries.☆15Feb 3, 2026Updated 3 weeks ago