A modern mod manager for all your games with built-in Archipelago support.
- bepinex
- game-modding
- linux
- linux-gaming
Repository Index
47,133 repositories indexed
553–576 of 618 · Most stars
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
Substrate .NET API Core for substrate-based nodes
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
Exclusively Co-Op Metroidvania with Movement as smooth as Smash Bros Melee
- csharp
- game
- game-development
- metroidvania
Simple implementation of a quest system on dotnet with an interface for godot
PocketBase Unity SDK
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
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
Light-weight data faker built in V to generate massive amounts of fake (but realistic) data for testing and development.
- datafaker
- vlang
- compile-time
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