Repositories list

• Papers

  Public
  Papers' sources

  TeX

  •0•2•2•1•Updated Jul 29, 2024Jul 29, 2024

• FlameStream

  Public
  Distributed stream processing model and its implementation

  javastreamingbig-data+ 1graph

  Java

  •

  Apache License 2.0

  •6•13•26•8•Updated Nov 16, 2022Nov 16, 2022

• FlameNews

  Public
  Service that allows to monitor emerging topics in the world

  Java

  •0•0•9•5•Updated Jun 20, 2022Jun 20, 2022

• streaming-sql-optimization

  Public
  Java

  •1•0•0•1•Updated May 25, 2022May 25, 2022

• halco

  Public
  Calco prototype. Contract-based approach for dataflows specification

  distributed-computingstream-processingoptimization

  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated May 15, 2021May 15, 2021

• calco

  Public
  Contract-based approach to declaratively specify distributed dataflows

  optimizationdistributed-computingstream-processing+ 2hoare-logicaxiomatic-semantics

  0•0•0•0•Updated Apr 24, 2021Apr 24, 2021

• palco

  Public
  Calco Python API implementation. Contract-based approach to declaratively specify distributed dataflows

  distributed-systemsoptimizationstream-processing+ 2hoare-logicaxiomatic-semantics

  Python

  •0•0•0•0•Updated Apr 24, 2021Apr 24, 2021

• TypeInference

  Public
  Scala

  •0•0•0•1•Updated Nov 28, 2020Nov 28, 2020

• LightBulbs

  Public
  Jupyter Notebook

  •0•0•0•1•Updated May 21, 2020May 21, 2020

• acker-results

  Public
  0•0•0•0•Updated Feb 29, 2020Feb 29, 2020

• Evaluation

  Public
  Benchmarks data

  Jupyter Notebook

  •0•0•0•0•Updated May 19, 2019May 19, 2019