Pedro Sobota's repositories
AspNetCore.Docs
Documentation for ASP.NET Core
Language:C#CC-BY-4.0000
IntervalComposition
Computing overlapping intervals
Language:C#MIT000
Lava
An integrative data platform (design phase)
Language:C#Apache-2.0000
Mathematics
Mathematical work files
CC0-1.0000
pedroos.github.io
Code for pedroos.github.io.
PropertyProviderConsole
A semantic object ranking system
SetForm
OO & sum-type modeling of Mathematical sets
Language:F#AGPL-3.0000