gabrielrovesti/SystemFX

Framework di stream processing in F# con garanzie formali per costruire pipeline di elaborazione dati robuste e componibili

语言：F# · GitHub 星标：1 · Fork：0

话题：formal-verification · fsharp · stream-processing

在 GitHub 上查看原仓库