A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
47,133 repositories indexed
5,497–5,520 of 6,420 · Most stars
Binary bit flags with unlimited amount of bits
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
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
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
Neovim plugin to integrate PlatformIO framework with Clangd LSP
- clangd
- lua
- neovim
- platformio
Handy additional features for Twig within symfony 2
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
A browser extension that gives you insight into your engagement with Web Monetization.
- web-monetization
- webmonetization
- interledger
- interledger-protocol
Log4j, Knockout.js, WebSockets and Play! Log4Play is a module that provides a log4j appender which publishes log entries to an EventStream. The module also provides an user interface which uses a WebSocket creating a live stream of log messages. You can use this user interface to look at the logs of your application without needing to login to the actual box.
NeoVim plugin with which you can check the price of your favourite cryptos
A simple luv-based development server with live reloading for Neovim.
- neovim
- neovim-plugin
- live-server
- live-reload
A Python library to interface with a cuckoo-modified instance
replaces link tags with inline style tags + inlines CSS url() calls with data URIs
OCaml pattern-matching extended with regexps (unmaintained)
Nova DSO Tracker is an open-source Flask application for astrophotographers, providing real-time tracking of deep-sky objects' altitude, observability prediction, and integration with Stellarium and SIMBAD databases.
Capacitor plugin to interact with Google Fit
- capacitor-plugin
- android
- google-fit
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Neovim popup UI for cppman, with searchable C++ reference docs and in-buffer navigation
- cplusplus
- cpp
- cppman
- cppreference
Portable Unix shell command 'tee', with some extras - read from standard input and write to standard output and files