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
793–816 of 952 · Most stars
⚙️ A collection of Swift extensions for wide range of Vapor data types and classes
- vapor
- swift
- serverside-swift
Support for rendering a Blazor Component to a verified file via bunit or raw Blazor rendering.
- blazor
- bunit
- testing
- snapshot-testing
The repository host gives no description.
Mosquitto packaged as Addon for the Homematic CCU3 and RaspberryMatic
Create a Node.js module with yo, including gulp and Mocha unit tests.
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.
Simple blog module to your Symfony2 project. Posts / Tags / Cut and Read more / Highlight Source Code / Breadcrumbs / Paginations / Unit tests / Disqus comments widget
SwiftyBeaver Logging Provider for Vapor, the server-side Swift web framework https://swiftybeaver.com
Async polyglot unit testing for Vert.x.
An Algorand SDK for Unity. Use the Algorand blockchain in your video game.
The repository host gives no description.
A fluid grid of square units.
A simple starter <hello-world /> web component written in typescript, using lit. Unit tested with jest and e2e tested with playwright.
- web-components
- lit-html
- lit-element
- hello-world
JUnit extension for easy and efficient testing of CDI components
- java
- cdi
- junit
- javaee8
Small library to test your xml with Test::Unit or RSpec
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
A modern mod manager for all your games with built-in Archipelago support.
- bepinex
- game-modding
- linux
- linux-gaming
Unit Testing Framework for Gamemaker Studio 2.3+
- gamemaker-studio-2
- gamemaker
- gamemaker-language
- game-development
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
JavaScript SDK for Subsocial blockchain.
A lightweight framework for writing unit tests for Roslyn diagnostic analyzers, code fixes, refactorings and completion providers.
- roslyn
- roslyn-analyzer
- test
- roslyn-diagnostics