Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with rewriting
A curated list of projects in awesome lists tagged with rewriting .
https://github.com/comby-tools/comby
A code rewrite tool for structural search and replace that supports ~every language.
c go java javascript linting parser-combinators parsing php program-transformation python reason refactoring regex rewriting rust search-and-replace swift syntax syntax-transformation typescript
Last synced: 30 Sep 2024
https://github.com/cloudflare/lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
css-selectors html parser rewriting rust stream streaming
Last synced: 01 Oct 2024
https://github.com/opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
atomspace graph-database graph-rewriting knowledge-base knowledge-graph knowledge-representation logic-programming query-engine query-language relational-algebra relational-database rewrite-system rewriting
Last synced: 31 Jul 2024
https://github.com/acl2/acl2
ACL2 System and Books as Maintained by the Community
acl2 common-lisp first-order-logic formal-methods formal-verification logic rewriting theorem-prover theorem-proving
Last synced: 31 Jul 2024
https://github.com/axkr/symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
algebra algorithms android calculator calculus computer-algebra discord-bot docker-image interpreter java lisp-like mathematica rewriting scripting-language symbolic-math symja
Last synced: 30 Sep 2024
https://github.com/Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
dependent-types logical-framework proof-assistant proof-checker proof-translator rewriting
Last synced: 04 Aug 2024
https://github.com/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.
http-proxy https-proxy linux macos mitm mitmproxy pac proxy rewriting socks5 upstream windows
Last synced: 04 Aug 2024
https://github.com/jvilk/mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
man-in-the-middle mitm mitmproxy proxy rewriting transparent transparent-https-proxy transparent-proxy
Last synced: 04 Aug 2024
https://github.com/codemodsquad/astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
astx automated codemod find javascript match matching pattern refactor refactoring replace rewrite rewriting search semantic structural syntax transform transformation typescript
Last synced: 31 Jul 2024
https://github.com/harrisongrodin/simplify.jl
Algebraic simplification in Julia
algebra julia julialang reduction rewrite-system rewriting rewriting-system simplification term-rewriting
Last synced: 29 Sep 2024
https://github.com/HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
algebra julia julialang reduction rewrite-system rewriting rewriting-system simplification term-rewriting
Last synced: 09 Aug 2024
https://github.com/harrisongrodin/rewrite.jl
An efficient symbolic term rewriting engine
algebra julia julialang rewriting symbolic symbolic-computation symbolic-math
Last synced: 29 Sep 2024
https://github.com/HarrisonGrodin/Rewrite.jl
An efficient symbolic term rewriting engine
algebra julia julialang rewriting symbolic symbolic-computation symbolic-math
Last synced: 09 Aug 2024
https://github.com/Qrlew/qrlew
differential-privacy privacy privacy-enhancing-technologies rewriting rust sql
Last synced: 02 Aug 2024
https://github.com/joshrule/term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
rewriting rust rust-library term-rewriting
Last synced: 03 Aug 2024
https://github.com/linkhehe/zane
A small discord bot with image manipulation and utility features.
bot cogs discord discord-bot discord-py-rewrite image meme py python rewriting simple-image-manipulation zane
Last synced: 01 Oct 2024
