https://github.com/FTSRG/ingraph

Incremental view maintenance for openCypher graph queries.

cypher cypher-query-language graph graph-processing graphs incremental ingraph opencypher pattern-matching query query-engine research

Last synced: 23 Apr 2025

https://github.com/ftsrg/gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

code-generation composition eclipse formal-verification model-transformations research statechart tool

Last synced: 10 Feb 2026

https://github.com/ftsrg/sme4dd-eth-lab2

Repository for the SME4DD Ethereum course lab 2

Last synced: 10 Feb 2026