A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
Repository Index
47,133 repositories indexed
481–504 of 521 · Most stars
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Ready to go Neovim template 🏗️✈️
- community
- neovim
- plugin
- template
A Quarto blog for Bioconductor community
- community
- blog
- bioconductor
- quarto
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