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.
program-transformation search-and-replace linting refactoring syntax-transformation parsing parser-combinators rewriting syntax regex java c javascript typescript php python rust go reason swift
Language:OCaml 2276
lol-html
cloudflare / lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
html css-selectors parser rewriting streaming stream rust
Language:Rust 1388
opencog / atomspace
The OpenCog (hyper-)graph database and graph rewriting system
graph-database knowledge-representation query-engine logic-programming knowledge-graph knowledge-base query-language relational-database relational-algebra rewrite-system rewriting graph-rewriting atomspace
Language:C++ 775
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 mathematica docker-image rewriting
Language:Java 347
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 336
Deducteam / lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
proof-checker proof-assistant rewriting dependent-types logical-framework proof-translator
Language:OCaml 259
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 181
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.
prover superposition ocaml experimental logic computer-science-algorithms prototype induction polymorphism rewriting cnf symbolic-computation saturation
Language:OCaml 120
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 88
codemodsquad / astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
codemod refactor refactoring javascript typescript astx automated find match matching pattern replace rewrite rewriting search semantic structural syntax transform transformation
Language:TypeScript 85
deniskyashif / ssfst
Rewrite text in linear time.
transducers finite-state-machine rewriting nlp search-replace
Language:JavaScript 80
HarrisonGrodin / Simplify.jl
Algebraic simplification in Julia
algebra julia julialang reduction rewrite-system rewriting rewriting-system simplification term-rewriting
Language:Julia 78
comby-tools / comby-reducer
A simple program reducer for any language.
fuzzing reducer rewriting transformation
Language:JavaScript 72
HarrisonGrodin / Rewrite.jl
An efficient symbolic term rewriting engine
algebra julia julialang rewriting symbolic symbolic-computation symbolic-math
Language:Julia 72
c-cube / stimsym
[toy] A rewriting language similar to the core of Mathematica
rewriting mathematica jupyter pattern-matching
Language:OCaml 54
Qrlew / qrlew
differential-privacy privacy privacy-enhancing-technologies rewriting rust sql
Language:Rust 35
haoxins / rewrite
URL rewriting for Golang
golang go rewriting url http-url
Language:Go 31
CoolSpring8 / go-lolhtml
unofficial Go bindings to Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
bindings cgo css-selector html html-parser rewriting
Language:Go 26
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.
formal-proofs ocaml polymorphism rewriting sat smt theorem-proving
Language:OCaml 25
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
joshrule / term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
rewriting rust rust-library term-rewriting
Language:Rust 22
smimram / ocaml-alg
Algebraic structures in OCaml.
algebra ocaml rewriting
Language:OCaml 15
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 14
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 14
comby-tools / comby-ui
Try it! https://comby.live
linting parser-combinators parsing program-transformation refactoring rewriting search-and-replace syntax syntax-transformation
Language:Elm 9
nathsou / Girafe
Term Rewriting Systems infrastructure
term-rewriting rewriting-system rewriting functional-programming girafe compiler decision-trees
Language:TypeScript 6
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# 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.
algebra maude rewrite-system rewriting term-rewriting
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