Awesome Open Source

Programming Languages

Search results for rewriting

24 search results found

Comby ⭐ 1,996

A code rewrite tool for structural search and replace that supports ~every language.

Lol Html ⭐ 1,264

Low output latency streaming HTML parser/rewriter with CSS selector-based API

Atomspace ⭐ 734

The OpenCog (hyper-)graph database and graph rewriting system

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.

ACL2 System and Books as Maintained by the Community

Lambdapi ⭐ 241

Proof assistant based on the λΠ-calculus modulo rewriting

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.

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.

Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring

📜 Rewrite text in linear time.

Comby Reducer ⭐ 69

A simple program reducer for any language.

Simplify.jl ⭐ 69

Algebraic simplification in Julia

Rewrite.jl ⭐ 54

An efficient symbolic term rewriting engine

[toy] A rewriting language similar to the core of Mathematica

Mitmproxy Node ⭐ 30

A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!

URL rewriting for Golang

Go Lolhtml ⭐ 25

unofficial Go bindings to Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Assembly Rewriter ⭐ 19

Rewrite .NET assemblies to allow referencing of two different versions

Ocaml Alg ⭐ 15

Algebraic structures in OCaml.

Term Rewriting Rs ⭐ 11

a Rust implementation of first-order term rewriting systems (TRS)

Try it! https://comby.live

Term Rewriting Systems infrastructure

Related Searches

Ocaml Rewriting (6)

Rust Rewriting (5)

Typescript Rewriting (5)

Algebra Rewriting (5)

Python Rewriting (4)

1-24 of 24 search results

Privacy | About | Terms | Follow Us On Twitter

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