14 results found Sort:

comby-tools
comby comby-tools
64
2.4k
apache-2.0
24
A code rewrite tool for structural search and replace that supports ~every language.
c go php java rust regex swift python reason syntax linting parsing rewriting javascript typescript refactoring parser-combinators search-and-replace syntax-transformation program-transformation
Created 2019-04-08
512 commits to master branch, last one 8 months ago
cloudflare
lol-html cloudflare
85
1.6k
bsd-3-clause
29
Low output latency streaming HTML parser/rewriter with CSS selector-based API
html rust parser stream rewriting streaming css-selectors
Created 2019-09-09
571 commits to master branch, last one 22 days ago
opencog
atomspace opencog
236
840
other
85
The OpenCog (hyper-)graph database and graph rewriting system
atomspace rewriting query-engine graph-database knowledge-base query-language rewrite-system graph-rewriting knowledge-graph logic-programming relational-algebra relational-database knowledge-representation
Created 2015-04-27
33,977 commits to master branch, last one a day ago
axkr
symja_android_library axkr
88
396
gpl-3.0
15
:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
java symja algebra android calculus integral lisp-like rewriting algorithms calculator derivatives discord-bot interpreter polynomials docker-image factorization symbolic-math equation-solver computer-algebra scripting-language
Created 2013-12-04
7,805 commits to master branch, last one 17 hours ago
acl2
acl2 acl2
106
375
other
36
ACL2 System and Books as Maintained by the Community
acl2 logic rewriting common-lisp formal-methods theorem-prover theorem-proving first-order-logic formal-verification
Created 2014-09-01
42,865 commits to master branch, last one a day ago
Deducteam
lambdapi Deducteam
36
292
other
14
Proof assistant based on the λΠ-calculus modulo rewriting
rewriting proof-checker dependent-types proof-assistant proof-translator logical-framework
Created 2017-09-10
3,826 commits to master branch, last one a day ago
saucelabs
forwarder saucelabs
13
238
mpl-2.0
10
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 Pr...
pac mitm linux macos proxy socks5 windows upstream mitmproxy rewriting http-proxy https-proxy
Created 2021-09-20
1,790 commits to main branch, last one 11 days ago
sneeuwballen
zipperposition sneeuwballen
17
139
bsd-2-clause
11
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, claus...
cnf logic ocaml prover induction prototype rewriting saturation experimental polymorphism superposition symbolic-computation computer-science-algorithms
Created 2012-08-15
6,728 commits to master branch, last one 11 months ago
codemodsquad
astx codemodsquad
6
110
mit
5
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
astx find match search syntax codemod pattern replace rewrite matching refactor semantic automated rewriting transform javascript structural typescript refactoring transformation
Created 2020-11-23
358 commits to beta branch, last one 9 months ago
jvilk
mitmproxy-node jvilk
15
93
unknown
3
A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
mitm proxy mitmproxy rewriting transparent man-in-the-middle transparent-proxy transparent-https-proxy
Created 2017-11-02
39 commits to master branch, last one 5 years ago
deniskyashif
ssfst deniskyashif
6
81
mit
6
Rewrite text in linear time.
nlp rewriting transducers search-replace finite-state-machine
Created 2017-06-13
64 commits to master branch, last one 2 years ago
comby-tools
comby-reducer comby-tools
1
73
unknown
2
A simple program reducer for any language.
fuzzing reducer rewriting transformation
Created 2021-02-03
41 commits to master branch, last one about a year ago
c-cube
stimsym c-cube
3
54
bsd-2-clause
7
[toy] A rewriting language similar to the core of Mathematica
jupyter rewriting mathematica pattern-matching
Created 2016-11-29
267 commits to master branch, last one 3 years ago
Qrlew
qrlew Qrlew
2
43
apache-2.0
1
This repository has no description...
sql rust privacy rewriting differential-privacy privacy-enhancing-technologies
Created 2023-05-22
1,496 commits to main branch, last one about a month ago