Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
457–480 of 521 · Most stars
⚙️ A collection of Swift extensions for wide range of Vapor data types and classes
- vapor
- swift
- serverside-swift
The repository host gives no description.
Mosquitto packaged as Addon for the Homematic CCU3 and RaspberryMatic
Community list of shared micromobility APIs, apps, datasets, research, and software
Repository for official Sitecore, community and demo deployment files. This will provide Sitecore customers with examples on how to deploy Sitecore containers using various methods such as compose, k8s and helm.
SwiftyBeaver Logging Provider for Vapor, the server-side Swift web framework https://swiftybeaver.com
The repository host gives no description.
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Install awesome community PowerToys Run plugins via this plugin ⬇️🔌📦
- microsoft-powertoys
- plugin
- plugins
- powertoys
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Phobos candidate JSON implementation.
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Opentrain repository for community data analysis of Israel Railways train delay data.
Sokoban (in Coq) [maintainer=@erikmd]
An open source event management platform focused on Hackathons
- event
- event-management-platform
- hackathon
- hackathons
MageForge is a Magento 2 module designed to assist frontend developers in streamlining their workflow and enhancing productivity.
- developer-tools
- development
- magento2
- build-automation
A testing library that allows "time travel," "freezing time," and "time acceleration". Inspired by the ruby-timecop library.
- testing
- timecop
- crystal
These dotnet new templates simplify creating PowerToys Run plugin projects and solutions.
- microsoft-powertoys
- plugin
- plugins
- powertoys
Build crystal projects using nix.
- nix
- crystal-lang