14 results found Sort:

comby-tools
comby comby-tools
64
2.4k
apache-2.0
25
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 7 months ago
cloudflare
lol-html cloudflare
85
1.6k
bsd-3-clause
28
Low output latency streaming HTML parser/rewriter with CSS selector-based API
html rust parser stream rewriting streaming css-selectors
Created 2019-09-09
566 commits to master branch, last one 11 hours ago
opencog
atomspace opencog
234
836
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,755 commits to master branch, last one 24 hours ago
axkr
symja_android_library axkr
88
393
gpl-3.0
14
: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,777 commits to master branch, last one 2 days ago
acl2
acl2 acl2
102
371
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,261 commits to master branch, last one 4 hours ago
Deducteam
lambdapi Deducteam
35
286
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,809 commits to master branch, last one 11 days 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,775 commits to main branch, last one 20 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 10 months ago
codemodsquad
astx codemodsquad
6
109
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 8 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 4 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 about a year 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
1
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 18 days ago