Topic: rewriting Goto Github
Some thing interesting about rewriting
Some thing interesting about rewriting
rewriting,ACL2 System and Books as Maintained by the Community
Organization: acl2
Home Page: http://www.cs.utexas.edu/users/moore/acl2
rewriting,A toolkit for higher-dimensional diagram rewriting.
User: ahadziha
Home Page: https://rewalt.readthedocs.io/
rewriting,:coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
User: axkr
Home Page: https://matheclipse.org/
rewriting,A toy language based on rewriting using code from Baader and Nipkow.
User: ayberkt
rewriting,Rewrite files in order to have only one folder for all files.
Organization: beapi
Home Page: https://beapi.fr
rewriting,[toy] A rewriting language similar to the core of Mathematica
User: c-cube
rewriting,Гайд по рерайтингу/копирайтингу для 2ch/wrk/
User: cawilliams
rewriting,Low output latency streaming HTML parser/rewriter with CSS selector-based API
Organization: cloudflare
Home Page: https://crates.io/crates/lol-html
rewriting,Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring
Organization: codemodsquad
rewriting,lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code
User: cogtoto
Home Page: https://github.com/cogtoto/pub
rewriting,A code rewrite tool for structural search and replace that supports ~every language.
Organization: comby-tools
Home Page: https://comby.dev
rewriting,A simple program reducer for any language.
Organization: comby-tools
Home Page: https://comby.dev/blog/2021/03/26/comby-reducer
rewriting,Try it! https://comby.live
Organization: comby-tools
rewriting,An idiomatic Go wrapper for Rust crate `lol-html` (Low Output Latency streaming HTML parser/rewriter)
User: coolspring8
Home Page: https://pkg.go.dev/github.com/coolspring8/go-lolhtml
rewriting,Proof assistant based on the λΠ-calculus modulo rewriting
Organization: deducteam
rewriting,Rewrite system stats n' count
Organization: deducteam
rewriting,Rewrite text in linear time.
User: deniskyashif
Home Page: https://npm.runkit.com/ssfst
rewriting,Safe (fault-tolerant) wrapper around https://github.com/cloudflare/html-rewriter-wasm
User: drsensor
rewriting,Rewrite SQL scripts to the idempotent style, automatically
User: dshalkhakov
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.
Organization: figuren-theater
Home Page: https://websites.fuer.figuren.theater
rewriting,A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
User: gbury
rewriting,An efficient symbolic term rewriting engine
User: harrisongrodin
rewriting,Algebraic simplification in Julia
User: harrisongrodin
rewriting,various texts, non-coding
User: imtom4
rewriting,A text rewriting suite in terminal
User: ironkeyboard
Home Page: http://plagiarize.jokepro.dx.am
rewriting,Eject enums from your TypeScript codebases.
User: jiftechnify
Home Page: https://jiftechnify.github.io/eject-enum
rewriting,a Rust implementation of first-order term rewriting systems (TRS)
User: joshrule
rewriting,A bridge between Python's mitmproxy and Node.JS programs. Rewrite network requests using Node.JS!
User: jvilk
rewriting,PHP Classes, Libraries for projects
User: lasvegascoder
rewriting,A small discord bot with image manipulation and utility features.
User: linkhehe
rewriting,LTL model checking of Core-Erlang using term rewriting techniques.
User: martin-neuhaeusser
rewriting,Libraries for term rewriting and narrowing in Curry
User: matthesjh
rewriting,Term Rewriting Systems infrastructure
User: nathsou
Home Page: https://nathsou.github.io/Girafe/
rewriting,Programming language targeting JavaScript with Type Rewriting
User: nathsou
rewriting,After reading the book "Clean Code: A Handbook of Agile Software Craftsmanship", I am rewriting my old application
User: nektonick
rewriting,Rewrite .NET assemblies to allow referencing of two different versions
Organization: nullean
rewriting,The OpenCog (hyper-)graph database and graph rewriting system
Organization: opencog
Home Page: https://wiki.opencog.org/w/AtomSpace
rewriting,
Organization: qrlew
rewriting,Cambiador de palabras es una herramienta en línea para parafrasear texto.
User: reescribirtextos
Home Page: https://cambiadordepalabras.com
rewriting,A simple proof assistant based on string rewriting (work in progress)
User: roboguy13
rewriting,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.
Organization: saucelabs
Home Page: https://forwarder-proxy.io
rewriting,A framework you use to build mods or rewrite other .NET applications
User: signaturebeef
rewriting,Hypergraph rewriting for PROPs
User: smimram
Home Page: https://smimram.github.io/hyper/
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.
Organization: sneeuwballen
Home Page: https://sneeuwballen.github.io/zipperposition/
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.