rewriting

There are 3 repositories under rewriting topic.

comby
comby-tools / comby
A code rewrite tool for structural search and replace that supports ~every language.
c go java javascript linting parser-combinators parsing php program-transformation python reason refactoring regex rewriting rust search-and-replace swift syntax syntax-transformation typescript
Language:OCaml 2409
lol-html
cloudflare / lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
css-selectors html parser rewriting rust stream streaming
Language:Rust 1502
opencog / atomspace
The OpenCog (hyper-)graph database and graph rewriting system
atomspace graph-database graph-rewriting knowledge-base knowledge-graph knowledge-representation logic-programming query-engine query-language relational-algebra relational-database rewrite-system rewriting
Language:C++ 826
symja_android_library
axkr / symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
algebra symbolic-math symja computer-algebra calculus android interpreter algorithms java discord-bot lisp-like scripting-language calculator docker-image rewriting equation-solver integral derivatives polynomials factorization
Language:Java 384
acl2 / acl2
ACL2 System and Books as Maintained by the Community
acl2 theorem-prover theorem-proving common-lisp rewriting formal-verification formal-methods first-order-logic logic
Language:Common Lisp 369
Deducteam / lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting
Language:OCaml 278
saucelabs / forwarder
Forwarder is a production-ready, fast MITM proxy with PAC support. It's suitable for debugging, intercepting and manipulating HTTP traffic. It's used as a core component of Sauce Labs Sauce Connect Proxy.
pac http-proxy proxy mitm mitmproxy windows linux macos rewriting upstream https-proxy socks5
Language:Go 235
sneeuwballen / zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
cnf computer-science-algorithms experimental induction logic ocaml polymorphism prototype prover rewriting saturation superposition symbolic-computation
Language:OCaml 139
codemodsquad / astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
astx automated codemod find javascript match matching pattern refactor refactoring replace rewrite rewriting search semantic structural syntax transform transformation typescript
Language:TypeScript 106
jvilk / mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
proxy mitm mitmproxy rewriting man-in-the-middle transparent transparent-proxy transparent-https-proxy
Language:TypeScript 92
HarrisonGrodin / Simplify.jl
Algebraic simplification in Julia
julia julialang algebra term-rewriting simplification reduction rewriting rewrite-system rewriting-system
Language:Julia 82
deniskyashif / ssfst
Rewrite text in linear time.
transducers finite-state-machine rewriting nlp search-replace
Language:JavaScript 81
HarrisonGrodin / Rewrite.jl
An efficient symbolic term rewriting engine
julia julialang algebra symbolic symbolic-math symbolic-computation rewriting
Language:Julia 77
comby-tools / comby-reducer
A simple program reducer for any language.
fuzzing reducer rewriting transformation
Language:JavaScript 73
c-cube / stimsym
[toy] A rewriting language similar to the core of Mathematica
jupyter mathematica pattern-matching rewriting
Language:OCaml 54
Qrlew / qrlew
differential-privacy privacy privacy-enhancing-technologies rewriting rust sql
Language:Rust 41
CoolSpring8 / go-lolhtml
An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
html html-parser css-selector cgo bindings rewriting
Language:Go 31
haoxins / rewrite
URL rewriting for Golang
golang go rewriting url http-url
Language:Go 31
Gbury / archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
theorem-proving smt sat formal-proofs ocaml polymorphism rewriting
Language:OCaml 27
joshrule / term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
term-rewriting rewriting rust-library rust
Language:Rust 27
nullean / assembly-rewriter
Rewrite .NET assemblies to allow referencing of two different versions
il-rewriting dotnet mono-cecil rewriting dll assembly csharp
Language:C# 24
smimram / ocaml-alg
Algebraic structures in OCaml.
algebra ocaml rewriting
Language:OCaml 21
ahadziha / rewalt
A toolkit for higher-dimensional diagram rewriting.
category-theory cell-complexes higher-algebra homotopy-theory monoidal-categories rewriting topology higher-category-theory string-diagrams cubical-sets simplicial-sets
Language:Python 15
linKhehe / Zane
A small discord bot with image manipulation and utility features.
discord-bot discord discord-py-rewrite rewriting cogs simple-image-manipulation zane bot python meme image py
Language:Python 15
comby-tools / comby-ui
Try it! https://comby.live
program-transformation search-and-replace linting refactoring syntax-transformation parsing parser-combinators rewriting syntax
Language:Elm 10
SignatureBeef / ModFramework.NET
A framework you use to build mods or rewrite other .NET applications
cil cecil rewriting mod il framework modding-framework
Language:C# 7
nathsou / Girafe
Term Rewriting Systems infrastructure
term-rewriting rewriting-system rewriting functional-programming girafe compiler decision-trees
Language:TypeScript 6
ironkeyboard / IronWriter
A text rewriting suite in terminal
rewriting text-processing paraphrase plagiarism
Language:Python 5
ayberkt / tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
maude rewriting term-rewriting rewrite-system algebra
Language:Standard ML 4
martin-neuhaeusser / erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
maude ltl rewriting erlang modelchecking verification
Language:Erlang 4
cogtoto / pub
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
lambda-calculus interpreters compilers rewriting
Language:HTML 3
matthesjh / rewriting-curry
Libraries for term rewriting and narrowing in Curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
3
nathsou / poy
Programming language targeting JavaScript with Type Rewriting
compiler adt rewriting static-typing pattern-matching
Language:TypeScript 3
roboguy13 / rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
proof-assistant rewriting string-rewriting rewriting-system parsing
Language:Haskell 3
smimram / homer
Homotopy and rewriting
homotopy ocaml rewriting
Language:OCaml 3
smimram / hyper
Hypergraph rewriting for PROPs
hypergraph ocaml rewriting
Language:OCaml 3