A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
47,133 repositories indexed
17,353–17,376 of 20,291 · Most stars
RTP stream extractor
- rtp
- voip
- c
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
MageForge is a Magento 2 module designed to assist frontend developers in streamlining their workflow and enhancing productivity.
- developer-tools
- development
- magento2
- build-automation
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
Binary bit flags with unlimited amount of bits
Diff between multiple git commits, similar to JetBrains's git log.
- git
- git-log
- neovim
- neovim-plugin
A tool for anchoring dependencies in dockerfiles
Provides a string manipulation node with a chainable UI based on the concise and lightweight stringjs.com.
- string-manipulation
- string-matching
- parse
- string
Exclusively Co-Op Metroidvania with Movement as smooth as Smash Bros Melee
- csharp
- game
- game-development
- metroidvania
A chat bot that insults its user! Type "Roast me" to start.
Svelte v5 table component suitable for examination of extensive tabular data.
Plugin providing "A People's Calendar" for Neovim, written in lua.
A Vert.x EventBus client written in Java, works on Android
GitHub action to setup an Ada/SPARK dev environment
Clone Man is a puzzle game with you using your clone to solve them.
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
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
Everything you need to start playing with Auth0 on your Cyclejs app
Flexible search query builder is SAP Hybris Commerce extension (released as a library) that provides developer-friendly way to build flexible search queries. The aim of this extension is to write().flexibleSearchQueries().easily() in compile-time safe manner without a need to remember the syntax.
- hybris-commerce-suite
- hybris
- hybris-commerce
- hybris-extension