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

121–144 of 159 · Most stars

Universal hot-load addon for Ember applications. Support classic/pods/mu layouts and route templates reloading.

  • hot-reload
  • hot-module-replacement
  • addon
  • ember-cli

Universal copy paste service, works across different machines!

  • pasta
  • copy
  • tool
  • fileshare

Worlds first JS/TS universal automated testing library for any JavaScript/TypeScript runtime(s), only one to my knowledge.

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

MIRROR: The universal installer and updater for (container) tools