GitHub topics: rewriting
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language: OCaml - Size: 38.8 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 329 - Forks: 36
axkr/symja_android_library
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Language: Java - Size: 325 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 407 - Forks: 92
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.
Language: Go - Size: 4.35 MB - Last synced at: about 18 hours ago - Pushed at: 2 days ago - Stars: 246 - Forks: 14
opencog/atomspace
The OpenCog (hyper-)graph database and graph rewriting system
Language: C++ - Size: 163 MB - Last synced at: 5 days ago - Pushed at: 17 days ago - Stars: 873 - Forks: 242
cloudflare/lol-html
Low output latency streaming HTML parser/rewriter with CSS selector-based API
Language: Rust - Size: 3 MB - Last synced at: 5 days ago - Pushed at: 12 days ago - Stars: 1,743 - Forks: 86
comby-tools/comby
A code rewrite tool for structural search and replace that supports ~every language.
Language: OCaml - Size: 1.82 MB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 2,483 - Forks: 64
acl2/acl2
ACL2 System and Books as Maintained by the Community
Language: Common Lisp - Size: 1.37 GB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 388 - Forks: 108
codemodsquad/astx
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
Language: TypeScript - Size: 2.75 MB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 117 - Forks: 6
jvilk/mitmproxy-node
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
Language: TypeScript - Size: 123 KB - Last synced at: 8 days ago - Pushed at: over 3 years ago - Stars: 94 - Forks: 15
cogtoto/pub
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
Language: HTML - Size: 302 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0
sneeuwballen/zipperposition
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.
Language: OCaml - Size: 29.3 MB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 141 - Forks: 17
smimram/ocaml-alg
Algebraic structures in OCaml.
Language: OCaml - Size: 23.4 MB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 23 - Forks: 3
nathsou/poy
Programming language targeting JavaScript with Type Rewriting
Language: TypeScript - Size: 645 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1
SignatureBeef/ModFramework.NET
A framework you use to build mods or rewrite other .NET applications
Language: C# - Size: 372 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 1
nullean/assembly-rewriter
Rewrite .NET assemblies to allow referencing of two different versions
Language: C# - Size: 53.7 KB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 5
Qrlew/qrlew
Language: Rust - Size: 2.08 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 44 - Forks: 2
ahadziha/rewalt
A toolkit for higher-dimensional diagram rewriting.
Language: Python - Size: 2.86 MB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 0
nathsou/Girafe
Term Rewriting Systems infrastructure
Language: TypeScript - Size: 1.75 MB - Last synced at: 23 days ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0
HarrisonGrodin/Simplify.jl
Algebraic simplification in Julia
Language: Julia - Size: 228 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 84 - Forks: 6
comby-tools/comby-reducer
A simple program reducer for any language.
Language: JavaScript - Size: 1.19 MB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 73 - Forks: 1
c-cube/stimsym
[toy] A rewriting language similar to the core of Mathematica
Language: OCaml - Size: 498 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 54 - Forks: 3
HarrisonGrodin/Rewrite.jl
An efficient symbolic term rewriting engine
Language: Julia - Size: 67.4 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 77 - Forks: 6
joshrule/term-rewriting-rs
a Rust implementation of first-order term rewriting systems (TRS)
Language: Rust - Size: 798 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 27 - Forks: 5
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.
Language: OCaml - Size: 2.14 MB - Last synced at: 26 days ago - Pushed at: almost 2 years ago - Stars: 27 - Forks: 5
deniskyashif/ssfst
Rewrite text in linear time.
Language: JavaScript - Size: 275 KB - Last synced at: 29 days ago - Pushed at: about 2 years ago - Stars: 81 - Forks: 6
linKhehe/Zane
A small discord bot with image manipulation and utility features.
Language: Python - Size: 409 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 15 - Forks: 2
CoolSpring8/go-lolhtml
An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
Language: Go - Size: 6.68 MB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 27 - Forks: 4
smimram/homer 📦
Homotopy and rewriting
Language: OCaml - Size: 995 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
haoxins/rewrite
URL rewriting for Golang
Language: Go - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 31 - Forks: 8
DrSensor/safe-html-rewriter
Safe (fault-tolerant) wrapper around https://github.com/cloudflare/html-rewriter-wasm
Language: TypeScript - Size: 28.3 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
stefanbischof/sar
Language: Java - Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
martin-neuhaeusser/erlang-verifier
LTL model checking of Core-Erlang using term rewriting techniques.
Language: Erlang - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 1
smimram/hyper
Hypergraph rewriting for PROPs
Language: OCaml - Size: 135 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 0
smimram/polyr
Polygraphic rewriting
Language: OCaml - Size: 34.2 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
fadoss/ceta
Fork of the Ceta (Combining Equational Tree Automata) library for C++17
Language: C++ - Size: 228 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
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.
Language: PHP - Size: 105 KB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
comby-tools/comby-ui 📦
Try it! https://comby.live
Language: Elm - Size: 209 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 2
jiftechnify/eject-enum
Eject enums from your TypeScript codebases.
Language: TypeScript - Size: 676 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
LasVegasCoder/PHP
PHP Classes, Libraries for projects
Language: PHP - Size: 23.4 KB - Last synced at: 16 days ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 4
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
Size: 110 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
chrisdalvit/parser
Language: Haskell - Size: 142 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
roboguy13/rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
Language: Haskell - Size: 140 KB - Last synced at: about 2 months ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1
nektonick/AccentTest2.0
After reading the book "Clean Code: A Handbook of Agile Software Craftsmanship", I am rewriting my old application
Language: C++ - Size: 613 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Deducteam/resystance
Rewrite system stats n' count
Language: OCaml - Size: 104 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 2
ayberkt/tinyrw
A toy language based on rewriting using code from Baader and Nipkow.
Language: Standard ML - Size: 14.6 KB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 4 - Forks: 1
ndcroos/rewriting
Language: Standard ML - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
wenkokke/gg
wherein I implement a good game
Language: Haskell - Size: 19.5 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
BeAPI/bea-ms-files-rewriting
Rewrite files in order to have only one folder for all files.
Language: PHP - Size: 1000 Bytes - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
ririhedou/AndroidRewritingTool
A more general rewriting framework for Android apps based on Soot Jimple IR
Language: Java - Size: 45.1 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1
olbat/firewall-rules-analyzer_migrator
A Tom based Firewall rules analyzer/migrator
Language: Perl6 - Size: 1.38 MB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
