#dotnet
8
2026-10-15
NethermindEth/LeanCIL
A
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
2026-09-14
TanerSaydam/WebAPIEgitimi.2026
D
DevPath üzerinden gerçekleştirdiğim 2026 WebAPI Eğitim reposu
2026-08-30
Show HN: FeatureFlags.app – Feature Management for .NET
未评级
Feature flags are common these days, and the .NET feature management library provides a lot of the plumbing to make them easy to get started with. The missing piece is a UI for managing flags - unless you are using Azure App Configuration. Relying on `appSettings.json` gets awkward when non-technical users need to change flags, deploys are slow, or the application is running in a distributed environment. I built FeatureFlags.app to fill that gap - a simple UI for managing .NET feature flags that doesn't require Azure App Configuration. It's still early, so I'd love feedback from anyone who has dealt with feature flags in .NET.
2026-08-29
.NET Analyzers
未评级
An organization for the development of analyzers (diagnostics and code fixes) using the .NET Compiler Platform.
2026-08-29
dotnet-format
未评级
A code formatter for .NET. Preferences will be read from an .editorconfig file, if present, otherwise a default set of preferences will be used. At this time dotnet-format is able to format C# and Visual Basic projects with a subset of supported .editorconfig options.