A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
81,588 visible repositories in the index
35,545–35,568 of 38,903 · Most stars
Addon to allow for multiple bundles and do lazy loading
The repository host gives no description.
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Ultimate web UI for visualizing load test results
- load-testing
- performance-analysis
- performance-metrics
- performance-monitoring
DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.
- orchestration
- dependency-manager
- git-submodule
- cli
Simplified way to handle (add/display) Symfony flash messages. Client side scripts are written in pure JavaScript. https://packagist.org/packages/ras/flash-alert-bundle
A tool for anchoring dependencies in dockerfiles
- command-line-tool
- docker
- dockerfile
- pinning
Provides a string manipulation node with a chainable UI based on the concise and lightweight stringjs.com.
- string-manipulation
- string-matching
- parse
- string
OpenFaaS template for the crystal programming language
MQTT Server
Plugin providing "A People's Calendar" for Neovim, written in lua.
Clone Man is a puzzle game with you using your clone to solve them.
Unofficial OpenCV binding for D programming language
Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.
- dependency-injection
- dependency-management
- di-framework
- ioc-container
d3js box plot plugin
- d3js
- boxplot
- visualization
- statistics
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
A Binary Memcached client for Go with support for sharding using consistent hashing, along with SASL.
- go
- golang
- memcached
- memcached-clients
A simple author handler for scientific writing
- authors
- r
- preprint
- contribution
Send emails via mutation using WpGraphQl
- wpgraphql
- wordpress
- wordpress-plugin
- graphql
The repository host gives no description.
Everything you need to start playing with Auth0 on your Cyclejs app
Neovim plugin to integrate PlatformIO framework with Clangd LSP
- clangd
- lua
- neovim
- platformio
Measuring synchronisation timing accuracy for DVB Compainion Screen Synchronisation TVs and Companions
- hbbtv2
- dvbcss
- dvb-protocols
- dvb-css