Fábio Morais's starred repositories
ignota-dialect
The MLIR Ignota dialect.
delta-enabled-crdts
Reference implementations of state-based CRDTs that offer deltas for all mutations.
cacti_tests
Tests for CACTI
The MLIR Ignota dialect.
Reference implementations of state-based CRDTs that offer deltas for all mutations.
Tests for CACTI