Repository Index

HomeHub – PHP-basierte Visualisierung für homematicIP CCU

• ccu
• homematic
• homematicip
• php

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Makes all children of a selected component sortable

• drag-and-drop
• cyclejs

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

Help us make LNUG a better place

• feedback
• lnug

Magento 2 Italian Language Pack is special gift for Magento 2 Community Edition. The data of the translation is supplied by Magento 2 Translation Project of Crowdin site, on which you will contribute into the project and download the zip file to install on your own store. This knowledge base will include full of the clear guides that supports you to convert the default language (English) into Italian language on your entire store.

This NuGet package simplifies referencing all PowerToys Run Plugin dependencies.

• microsoft-powertoys
• plugin
• plugins
• powertoys

A fork of the HomeMatic CCU Addon "ProgrammeDrucken" from http://homematic-forum.de/forum/viewtopic.php?f=41&t=19296

Core & Community developed monitoring integrations for Sematext monitoring agent

• monitoring
• performance-monitoring
• metrics
• performance-metrics

Attack Community Graphs through Event Clustering

algorithms for community detection from n-partite networks

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

Unofficial community-maintained module for https://steamapis.com

• steamapis
• node-steamapis
• npm

Suricata community style guide

The repository host gives no description.

Support your Meteor community!

A Telesign provider for Vapor.

• vapor
• swift
• vapor-service
• telesign-provider

This repository contains a script to handle the auto creation of a Docker Asset Image for a given Sitecore module

• sitecore
• sitecore-module
• sitecore-10
• sitecore-docker

A website to showcase the cool projects built with Cycle.js

A keyboard driver for cycle.js

Bot for the rjb community discord

Build for mobile

This NuGet package adds support for updating PowerToys Run Plugins.

• microsoft-powertoys
• plugin
• plugins
• powertoys

Yield farming opportunity for Golem's GLM token holders. (By staking uniswap-LP tokens that is a pair between GLM and ETH into the stake pool)

• golem
• solidity
• truffle
• web3js