https://github.com/gabrielrovesti/systemfx
Framework di stream processing in F# con garanzie formali per costruire pipeline di elaborazione dati robuste e componibili
https://github.com/gabrielrovesti/systemfx
formal-verification fsharp stream-processing
Last synced: over 1 year ago
JSON representation
Framework di stream processing in F# con garanzie formali per costruire pipeline di elaborazione dati robuste e componibili
- Host: GitHub
- URL: https://github.com/gabrielrovesti/systemfx
- Owner: gabrielrovesti
- License: mit
- Created: 2025-03-02T09:22:17.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-03-02T09:22:51.000Z (over 1 year ago)
- Last Synced: 2025-03-02T10:25:27.599Z (over 1 year ago)
- Topics: formal-verification, fsharp, stream-processing
- Language: F#
- Homepage:
- Size: 2.96 MB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0