rewriting
There are 55 repositories under rewriting topic.
comby-tools/comby
A code rewrite tool for structural search and replace that supports ~every language.
cloudflare/lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
axkr/symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
acl2/acl2
ACL2 System and Books as Maintained by the Community
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
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.
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.
codemodsquad/astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
jvilk/mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
deniskyashif/ssfst
Rewrite text in linear time.
HarrisonGrodin/Rewrite.jl
An efficient symbolic term rewriting engine
comby-tools/comby-reducer
A simple program reducer for any language.
c-cube/stimsym
[toy] A rewriting language similar to the core of Mathematica
haoxins/rewrite
URL rewriting for Golang
CoolSpring8/go-lolhtml
An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
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.
joshrule/term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
nullean/assembly-rewriter
Rewrite .NET assemblies to allow referencing of two different versions
smimram/ocaml-alg
Algebraic structures in OCaml.
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
linKhehe/Zane
A small discord bot with image manipulation and utility features.
comby-tools/comby-ui
Try it! https://comby.live
SignatureBeef/ModFramework.NET
A framework you use to build mods or rewrite other .NET applications
nathsou/Girafe
Term Rewriting Systems infrastructure
ironkeyboard/IronWriter
A text rewriting suite in terminal
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
cogtoto/pub
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
nathsou/poy
Programming language targeting JavaScript with Type Rewriting
roboguy13/rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
smimram/homer
Homotopy and rewriting
smimram/hyper
Hypergraph rewriting for PROPs