Ecosyste.ms: Awesome

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: 20 Dec 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: 17 Dec 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: 16 Dec 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 derivatives discord-bot docker-image equation-solver factorization integral interpreter java lisp-like polynomials rewriting scripting-language symbolic-math symja

Last synced: 20 Dec 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: 28 Oct 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: 18 Dec 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: 21 Nov 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: 15 Dec 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: 20 Dec 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: 20 Nov 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: 12 Oct 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 Nov 2024

https://github.com/harrisongrodin/rewrite.jl

An efficient symbolic term rewriting engine

algebra julia julialang rewriting symbolic symbolic-computation symbolic-math

Last synced: 12 Oct 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 Nov 2024

https://github.com/comby-tools/comby-reducer

A simple program reducer for any language.

fuzzing reducer rewriting transformation

Last synced: 18 Nov 2024

https://github.com/c-cube/stimsym

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

jupyter mathematica pattern-matching rewriting

Last synced: 28 Oct 2024

https://github.com/Qrlew/qrlew

differential-privacy privacy privacy-enhancing-technologies rewriting rust sql

Last synced: 09 Nov 2024

https://github.com/haoxins/rewrite

URL rewriting for Golang

go golang http-url rewriting url

Last synced: 08 Nov 2024

https://github.com/nullean/assembly-rewriter

Rewrite .NET assemblies to allow referencing of two different versions

assembly csharp dll dotnet il-rewriting mono-cecil rewriting

Last synced: 02 Dec 2024

https://github.com/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.

formal-proofs ocaml polymorphism rewriting sat smt theorem-proving

Last synced: 16 Nov 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: 15 Nov 2024

https://github.com/smimram/ocaml-alg

Algebraic structures in OCaml.

algebra ocaml rewriting

Last synced: 31 Oct 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: 04 Dec 2024

https://github.com/signaturebeef/modframework.net

A framework you use to build mods or rewrite other .NET applications

cecil cil framework il mod modding-framework rewriting

Last synced: 24 Nov 2024

https://github.com/nathsou/girafe

Term Rewriting Systems infrastructure

compiler decision-trees functional-programming girafe rewriting rewriting-system term-rewriting

Last synced: 11 Oct 2024

https://github.com/matthesjh/rewriting-curry

Libraries for term rewriting and narrowing in Curry

critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification

Last synced: 22 Nov 2024

https://github.com/smimram/hyper

Hypergraph rewriting for PROPs

hypergraph ocaml rewriting

Last synced: 18 Dec 2024

https://github.com/nathsou/poy

Programming language targeting JavaScript with Type Rewriting

adt compiler pattern-matching rewriting static-typing

Last synced: 11 Oct 2024

https://github.com/smimram/polyr

Polygraphic rewriting

ocaml polygraph rewriting

Last synced: 18 Dec 2024

https://github.com/lasvegascoder/php

PHP Classes, Libraries for projects

api-rest dtmfgenerator encryption php php-api php-class php-functions php-library php-sdk php5 php7 rewriter rewriting sabre xml-parser

Last synced: 12 Nov 2024

https://github.com/figuren-theater/ft-routes

Modern tales of browser headers, domains, mappings and its pathes. Including some (still needed) historic patches for a nice WordPress Multisite setup like figuren.theater.

aliasing rewriting routing wordpress wordpress-muplugin

Last synced: 18 Dec 2024

https://github.com/drsensor/safe-html-rewriter

Safe (fault-tolerant) wrapper around https://github.com/cloudflare/html-rewriter-wasm

cloudflare html lol rewriting worker workers

Last synced: 20 Dec 2024

https://github.com/deducteam/resystance

Rewrite system stats n' count

rewrite-rules rewriting

Last synced: 30 Nov 2024

https://github.com/wenkokke/gg

wherein I implement a good game

game haskell rewriting

Last synced: 10 Nov 2024

https://github.com/olbat/firewall-rules-analyzer_migrator

A Tom based Firewall rules analyzer/migrator

firewall-rules pattern-matching rewriting

Last synced: 12 Dec 2024