Install awesome community PowerToys Run plugins via this plugin ⬇️🔌📦
- microsoft-powertoys
- plugin
- plugins
- powertoys
Repository Index
47,133 repositories indexed
817–840 of 952 · Most stars
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
a version of pythons unittest.Mock with async methods
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Substrate .NET API Core for substrate-based nodes
Phobos candidate JSON implementation.
A code-first BDD testing framework for Kotlin & Java.
- agile-methodologies
- bdd
- bdd-framework
- fluent
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.
Vim plugin for https://github.com/hexdigest/gounit
- vim
- go
- golang
- unit-testing
Sokoban (in Coq) [maintainer=@erikmd]
This unit allows building simplified html with Delphi.
Object Relational Mapping unit built on top of Greyhound project
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
Exclusively Co-Op Metroidvania with Movement as smooth as Smash Bros Melee
- csharp
- game
- game-development
- metroidvania
A unit testing addon for Godot
- godot
- godot-eng
- test
- test-automation
🚂🚋🚋🚋 Easy choo app unit testing
- choo
- testing
A library for handling physical quantities and the units of measure in which they're represented.
Simple implementation of a quest system on dotnet with an interface for godot
Elixir Unit Converter
- conversion
- units-of-measure
- hex
Beautiful Micropython Graphics
PocketBase Unity SDK