Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1–14 of 14 · Most stars

Scala library for boilerplate-free, type-safe data transformations

  • scala
  • boilerplate
  • generic-programming
  • automatic-conversion

Scriptable local traffic workbench for inspecting, intercepting, replaying, and rewriting HTTP/HTTPS and WebSocket traffic.

Tools for transparent data transformation

  • term-rewriting
  • logic-programming
  • unification
  • pattern-matching

Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.

Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor

Confluence Cloud to Markdown crawler with incremental updates and local link rewriting

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

A simple HTTP proxy for the webdev serve command (a tool authored by the dart team) that adds support for rewriting certain requests, namely rewriting 404s to instead serve the root index (/index.html). This allows developers to work on browser applications (like our own) that use HTML5 routing while still being able to refresh and/or navigate directly to deep links.