@Dennis I got P# working: Shove https://github.com/p-org/PSharpLab/blob/master/TestSamples/CoreApp/CoreApp.csproj somewhere, probably /opt/psharp and run dotnet restore in that directory. To run, link every file in there to home and link .core.tio to .code.tio.cs