formulae.brew.sh "rewriting" keyword
comby 1.8.1
Tool for changing code across many languages3 versions - Latest release: over 4 years ago - 5 dependent repositories - 18 downloads last month - 2,688 stars on GitHub
acl2 8.7
Logic and programming language in which you can model computer systems5 versions - Latest release: 6 months ago - 1 dependent repositories - 24 downloads last month - 452 stars on GitHub
lol-html 3.0.2
Low output latency streaming HTML parser/rewriter with CSS selector-based API13 versions - Latest release: 4 days ago - 12 downloads last month - 2,074 stars on GitHub
Related Keywords
rust
2
syntax
1
syntax-transformation
1
typescript
1
css-selectors
1
html
1
parser
1
stream
1
streaming
1
acl2
1
common-lisp
1
first-order-logic
1
formal-methods
1
formal-verification
1
logic
1
theorem-prover
1
theorem-proving
1
swift
1
search-and-replace
1
regex
1
refactoring
1
reason
1
python
1
program-transformation
1
php
1
parsing
1
parser-combinators
1
linting
1
javascript
1
java
1
go
1
c
1