Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Repository Index
47,133 repositories indexed
5,641–5,664 of 6,276 · Most stars
VSMqtt is a simple MQTT client integrated in vscode.
Quick Demo for setting up a Babylon.js real time video processing in a web page.
:mag: Transparent query, pointer and path descriptors for JSON
- json
- xpath
- query
- find
A highly scalable redis-persistent queuing system for vertx
A simple service which consumes, transforms and periodically republish json messages on mqtt.
- hacktoberfest
- hacktoberfest2021
- mqtt
Helping vimmer in Taiwan with any questions.
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
An esp8266/32 micropython based sensor platform for gpio, dht, analog, led and more. Includes remote updates for .py code from web server and MQTT/Homeassistant integration
Make a deep copy of GameMaker sequence asset / struct for editing it in-runtime
- deep-copy
- duplicate
- gamemaker
- gamemaker-language
The Mohawk College MARC-HI/MEDIC Client Registry Reference Implementation represents the prototype Client Registry (Enterprise Master Patient Index - EMPI) developed under our Natural Sciences and Engineering Research Council of Canada (NSERC) grant to build a test version of the pan-Canadian Electronic Health Record System blueprint as prescribed by Canada Health Infoway.
- client-registry
- canada
- ihe-pdq
- ihe-pix
C++ backend for the jupyter webrtc widget
A node used to quickly build a simple user system to control access to your http nodes on Node-RED.
- node-red
- users-management
- node-js
- jwt
SmartSocket is an extensible open source, Java and PHP socket server engine. Its aim is to make creating multi-user applications as quick and painless as possible. With SmartSocket, you don't have to worry about keeping track of users, writing server code, managing threads, etc. All you have to do is use the simple communication protocol to send method call back and forth between the server and the client!
Effortlessly manage scratchpads in Neovim
- lua
- neovim
- plugin
Realtime Weather and Earthquake alerts in Neovim
Common Lisp RabbitMQ client based on IOLib
- rabbitmq
- rabbitmq-client
- amqp
- common-lisp
Static analysis CLI tool for Magento 2 codebases - detects anti-patterns, code quality issues, and architectural problems. SARIF output for CI/CD integration.
- code-analyzer
- code-quality
- magento
- magento2
Control your Sony Bravia TV with MQTT.
This Symfony bundle provides the use of Zend Queue from Zend Framework
HomeMatic xmlrpc_bin:// protocol server and client
she - scriptable smart home automation engine with AI assistance
Go package for IP2Location.io. Fetch geolocation and proxy data for an IP address, or query WHOIS details for a domain. Integrate an IP geolocation API into Golang backends, microservices and command-line tools. Enrich IPv4 and IPv6 traffic with location intelligence and network details for analytics and security use cases.
- domain-lookup
- golang
- ip-geolocation
- ip2location
Build documentation for your Julia package with Quarto!