☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
-
Updated
May 20, 2024 - Java
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
ACL2 System and Books as Maintained by the Community
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.
Proof assistant based on the λΠ-calculus modulo rewriting
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
The OpenCog (hyper-)graph database and graph rewriting system
A code rewrite tool for structural search and replace that supports ~every language.
Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
Rewrite SQL scripts to the idempotent style, automatically
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.
Programming language targeting JavaScript with Type Rewriting
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.
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Rewrite .NET assemblies to allow referencing of two different versions
A simple program reducer for any language.
Add a description, image, and links to the rewriting topic page so that developers can more easily learn about it.
To associate your repository with the rewriting topic, visit your repo's landing page and select "manage topics."