Dafny is a verification-aware programming language
- programming-language
- verification
Repository Index
80,339 visible repositories in the index
73–96 of 332 · Most stars
C# application to switch default playing device. Download: https://soundswitch.aaflalo.me/
AutoUpdater.NET is a class library that allows .NET developers to easily add auto update functionality to their classic desktop application projects.
- autoupdate
- desktop-application
- nuget
- c-sharp
A real-time always-on-top “replica” of a window of your choice (on Windows).
- windows
- windows-desktop
- dwm
- thumbnails
This repository contains a suite of libraries that provide facilities commonly needed when creating production-ready applications.
- dotnet
Microservices on .NET platforms used ASP.NET Web API, Docker, RabbitMQ, MassTransit, Grpc, Yarp API Gateway, PostgreSQL, Redis, SQLite, SqlServer, Marten, Entity Framework Core, CQRS, MediatR, DDD, Vertical and Clean Architecture implementation with using latest features of .NET 8 and C# 12
- aspnet-core
- docker
- ocelot-gateway
- micorservices
Five lessons, learn how to really apply AI to your .NET Applications
- ai
- azure-ai
- codespaces
- github-models
A project for supporting API Endpoints in ASP.NET Core web applications.
- api
- asp-net-core
- csharp
- dotnet
A .NET library to run C# code in parallel on the GPU through DX12, D2D1, and dynamically generated HLSL compute and pixel shaders, with the goal of making GPU computing easy to use for all .NET developers! 🚀
Free Open Source Reporting tool for .NET6/.NET Core/.NET Framework that helps your application generate document-like reports
- report
- csharp
- dotnet
- report-generator
Todo application with ASP.NET Core Blazor WASM, Minimal APIs and Authentication
- aspnetcore
- authentication
- dotnet-core
- jwt
A graphical NBT editor for all Minecraft NBT data sources
behaviac is a framework of the game AI development, and it also can be used as a rapid game prototype design tool. behaviac supports the behavior tree, finite state machine and hierarchical task network(BT, FSM, HTN)
- bt
- behavior-tree
- behavior-trees
- fsm
🚀 Supercharge Windows 11's File Explorer: Auto-convert windows to tabs, duplicate tabs, reopen closed ones, and more!
Automatically detect and skip intro/credit sequences in Jellyfin
- jellyfin
- jellyfin-plugin
- jellyfin-mediasegment-provider
An open-source, free protector for .NET applications
A small, yet powerful framework, designed for building applications across all XAML platforms. Its strong support for MV* patterns will enable you to build your solution quickly, without the need to sacrifice code quality or testability.
- c-sharp
- mvvm
- xamarin-forms
- wpf
WPF Ribbon control like in Office
- ribbon
- c-sharp
- wpf
- xaml
Interactive Twitch gamification engine combining C# Streamer.bot pipelines, WAL-mode SQLite, and visual WebSockets overlays.
- gamification
- sqlite-wal
- streamerbot
- twitch-extension
Business Apps Made Simple with Asp.Net Core MVC / TypeScript
- typescript
- admin-dashboard
- admin-panel
- business-application
Create, update and deploy Nuget Packages with a GUI
- nuget-packages
- gui-application
- nuget-client
- hacktoberfest
An asynchronous, persistent key-value store for .NET desktop and mobile applications, backed by SQLite. Suited to both durable data such as user settings and cached data that expires, with optional encryption and System.Text.Json serialization.
- c-sharp
- cache
- reactive-extensions
- reactive-programming
OAuth 2.0 social authentication providers for ASP.NET Core
- aspnetcore
- oauth2
- social-authentication
Full-stack .Net 10 Clean Architecture (Microservices, Modular Monolith, Monolith), Blazor, Angular 22, React 19, Vue 3.5, BFF with YARP, NextJs 16, Domain-Driven Design, CQRS, SOLID, Asp.Net Core Identity Custom Storage, OpenID Connect, EF Core, OpenTelemetry, SignalR, Background Services, Health Checks, Rate Limiting, Clouds (Azure, AWS, GCP), ...