Search Results - RepositoryStats

comby comby-tools

58

2.3k

apache-2.0

23

A code rewrite tool for structural search and replace that supports ~every language.

Created 2019-04-08

512 commits to master branch, last one about a month ago

lol-html cloudflare

79

1.4k

bsd-3-clause

27

Low output latency streaming HTML parser/rewriter with CSS selector-based API

html rust parser stream rewriting streaming css-selectors

Created 2019-09-09

490 commits to master branch, last one 3 months ago

atomspace opencog

225

793

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,537 commits to master branch, last one about a month ago

symja_android_library axkr

81

356

gpl-3.0

16

:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

java symja algebra android calculus lisp-like rewriting algorithms calculator discord-bot interpreter mathematica docker-image symbolic-math computer-algebra scripting-language

Created 2013-12-04

7,447 commits to master branch, last one 3 days ago

acl2 acl2

96

347

other

35

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

38,295 commits to master branch, last one 16 hours ago

lambdapi Deducteam

35

265

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,791 commits to master branch, last one 2 days ago

forwarder saucelabs

13

197

mpl-2.0

9

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,520 commits to main branch, last one a day ago

zipperposition sneeuwballen

19

122

bsd-2-clause

10

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 4 months ago