ACL2 System and Books as Maintained by the Community
The OpenCog (hyper-)graph database and graph rewriting system
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Proof assistant based on the λΠ-calculus modulo rewriting
한국어/영어 발음 유사도 기반 매핑 시스템. ASR 결과를 데이터베이스 용어와 정확히 매칭해주는 오픈소스 도구입니다.한국어-영어 간 발음 변환, Levenshtein 거리 기반 매칭, 사용자 정의 매핑을 지원하여 음성 인터페이스 정확도를 높입니다
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.
lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
Love Grammarly? Try TypeMate for instant, in-place AI rewrites, no app switching. A windows WPF with icon tray registration.
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
Programming language targeting JavaScript with Type Rewriting
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.
Rewrite SQL scripts to the idempotent style, automatically
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.
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."