The OpenCog (hyper-)graph database and graph rewriting system
-
Updated
May 11, 2024 - C++
The OpenCog (hyper-)graph database and graph rewriting system
ACL2 System and Books as Maintained by the Community
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
A code rewrite tool for structural search and replace that supports ~every language.
Proof assistant based on the λΠ-calculus modulo rewriting
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.
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
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.
An efficient symbolic term rewriting engine
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
Rewrite text in linear time.
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Rewrite .NET assemblies to allow referencing of two different versions
a Rust implementation of first-order term rewriting systems (TRS)
Algebraic simplification in Julia
PHP Classes, Libraries for projects
An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
[toy] A rewriting language similar to the core of Mathematica
Add a description, image, and links to the rewriting topic page so that developers can more easily learn about it.
To associate your repository with the rewriting topic, visit your repo's landing page and select "manage topics."