A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Repository Index
47,133 repositories indexed
49–64 of 64 · Most stars
A curated list of awesome Fuse applications, articles, and plugins
Godot XR Template project containing needed plugins, XR Tools and a very simple demo game
In addition to http://youmightnotneedjquery.com/ this is a list of commonly used plugins without dependencies
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.
A collection of resources covering different aspects of Gatling load testing tool usage.
- gatling
- gatling-plugin
- awesome-gatling
- awesome
:camera: :video_camera: :scissors: An Ionic 2 app that shows how to use the cordova-plugin-video-editor and cordova-plugin-instagram-assets-picker plugins.
Native Java API to work with JavaScript Node Package Manager (NPM): query, retrieve, pack into jar (webjars), CDN, maven
List of bindings in OCaml to cordova plugins.
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
A plugin to prevent editing files containing sensible information.
- awesome
- awesome-list
- nvim
- plugin
Plugin for Neovim that allows you to quickly open a file located under the cursor
Too lazy for write "pip install -r requirements.txt", or "cargo add ...".. or maybe.. "luarocks install .." and writing it to requirements file? This plugin for you!
A playable Rubik's cube with auto-solver and beginner tutorial inside your Neovim terminal.
- game
- lua
- neovim-plugin
- rubiks-cube-simulator
A simple plugin that allows you to create a configurable pop-up cheatsheet!
Tutorial for getting started with NodeJS, Imba, Webpack and ExpressJS/Webpack-Dev-Server, Webpack Loaders and Plugins