Gentoo Project

Dotnet Project

app-shells

• app-shells/pwsh-bin

  PowerShell - binary precompiled for glibc

dev-dotnet

• dev-dotnet/csharp-language-server

  Roslyn-based LSP language server for C#
• dev-dotnet/dotnet-sdk-bin

  .NET is a free, cross-platform, open-source developer platform

dev-lang

• dev-lang/boogie

  SMT-based program verifier
• dev-lang/dafny-bin

  Verification-aware programming language

virtual

• virtual/dotnet-sdk

  Virtual for .NET SDK