Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Rewriting Open Source Projects

Open source projects categorized as Rewriting
Categories > Rewriting
Comby ⭐ 1,996
A code rewrite tool for structural search and replace that supports ~every language.
most recent commit a year ago
Lol Html ⭐ 1,264
Low output latency streaming HTML parser/rewriter with CSS selector-based API
dependent packages 31total releases 12most recent commit 7 months agocargo lol_html} Downloads
Atomspace ⭐ 734
The OpenCog (hyper-)graph database and graph rewriting system
total releases 9most recent commit 6 months ago
Symja_android_library ⭐ 336
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java. Inspired by Wolfram Language built-in functions.
dependent packages 9total releases 2most recent commit 3 months ago
Acl2 ⭐ 326
ACL2 System and Books as Maintained by the Community
most recent commit 3 months ago
Lambdapi ⭐ 241
Proof assistant based on the λΠ-calculus modulo rewriting
most recent commit 3 months ago
Forwarder ⭐ 172
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.
total releases 35most recent commit 3 months ago
Zipperposition ⭐ 118
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.
most recent commit 4 months ago
Astx ⭐ 79
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
dependent packages 3total releases 74most recent commit 6 months agonpm astx} Downloads
Ssfst ⭐ 78
📜 Rewrite text in linear time.
dependent packages 1total releases 9most recent commit a year agonpm ssfst} Downloads
Comby Reducer ⭐ 69
A simple program reducer for any language.
dependent packages 2total releases 4most recent commit a year agonpm @comby-tools/comby-reducer} Downloads
Simplify.jl ⭐ 69
Algebraic simplification in Julia
most recent commit 5 years ago
Rewrite.jl ⭐ 54
An efficient symbolic term rewriting engine
most recent commit 3 years ago
Stimsym ⭐ 53
[toy] A rewriting language similar to the core of Mathematica
most recent commit 2 years ago
Mitmproxy Node ⭐ 30
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
dependent packages 3total releases 20most recent commit 4 years agonpm mitmproxy} Downloads
Rewrite ⭐ 29
URL rewriting for Golang
total releases 1most recent commit 2 years ago
Go Lolhtml ⭐ 25
unofficial Go bindings to Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
total releases 15most recent commit 3 years ago
Archsat ⭐ 24
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
most recent commit 9 months ago
Assembly Rewriter ⭐ 19
Rewrite .NET assemblies to allow referencing of two different versions
total releases 6most recent commit 10 months ago
Qrlew ⭐ 18
dependent packages 1total releases 39most recent commit 3 months agocargo qrlew} Downloads
Ocaml Alg ⭐ 15
Algebraic structures in OCaml.
most recent commit 4 months ago
Term Rewriting Rs ⭐ 11
a Rust implementation of first-order term rewriting systems (TRS)
dependent packages 1total releases 7most recent commit 3 years agocargo term_rewriting} Downloads
Comby Ui ⭐ 9
Try it! https://comby.live
most recent commit a year ago
The 9 Most Depended On Rewriting Open Source Projects
Lol Html ⭐ 1,264
Low output latency streaming HTML parser/rewriter with CSS selector-based API
dependent packages 31total releases 12latest release September 13, 2023most recent commit 7 months agocargo lol_html} Downloads
Mitmproxy Node ⭐ 30
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
dependent packages 3total releases 20latest release January 20, 2020most recent commit 4 years agonpm mitmproxy} Downloads
Astx ⭐ 79
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
dependent packages 3total releases 74latest release November 06, 2023most recent commit 6 months agonpm astx} Downloads
Comby Reducer ⭐ 69
A simple program reducer for any language.
dependent packages 2total releases 4latest release May 11, 2023most recent commit a year agonpm @comby-tools/comby-reducer} Downloads
Girafe ⭐ 5
Term Rewriting Systems infrastructure
dependent packages 2total releases 23latest release April 29, 2021most recent commit a year agonpm girafe} Downloads
Term Rewriting Rs ⭐ 11
a Rust implementation of first-order term rewriting systems (TRS)
dependent packages 1total releases 7latest release May 21, 2019most recent commit 3 years agocargo term_rewriting} Downloads
Ssfst ⭐ 78
📜 Rewrite text in linear time.
dependent packages 1total releases 9latest release February 12, 2020most recent commit a year agonpm ssfst} Downloads
Qrlew ⭐ 18
dependent packages 1total releases 39latest release December 08, 2023most recent commit 3 months agocargo qrlew} Downloads
The 10 Latest Releases In Rewriting Open Source Projects
Qrlew ⭐ 18
dependent packages 1total releases 39latest release December 08, 2023most recent commit 3 months agocargo qrlew} Downloads
Astx ⭐ 79
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
dependent packages 3total releases 74latest release November 06, 2023most recent commit 6 months agonpm astx} Downloads
Lol Html ⭐ 1,264
Low output latency streaming HTML parser/rewriter with CSS selector-based API
dependent packages 31total releases 12latest release September 13, 2023most recent commit 7 months agocargo lol_html} Downloads
Assembly Rewriter ⭐ 19
Rewrite .NET assemblies to allow referencing of two different versions
total releases 6latest release June 30, 2023most recent commit 10 months ago
Comby Reducer ⭐ 69
A simple program reducer for any language.
dependent packages 2total releases 4latest release May 11, 2023most recent commit a year agonpm @comby-tools/comby-reducer} Downloads
Rewrite ⭐ 29
URL rewriting for Golang
total releases 1latest release March 26, 2022most recent commit 2 years ago
Girafe ⭐ 5
Term Rewriting Systems infrastructure
dependent packages 2total releases 23latest release April 29, 2021most recent commit a year agonpm girafe} Downloads
Go Lolhtml ⭐ 25
unofficial Go bindings to Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
total releases 15latest release November 03, 2020most recent commit 3 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.