Hacker GitHub

← All repos

hydro-project/katara

View on GitHub ↗ ★ 149 Python

Synthesize CRDTs from classic data types with verified lifting!

4 mentions on Hacker News by 4 people: 1 story, 3 comments · first 2022-09-26 · latest 2024-03-07

Mentions per year 4 mentions · busiest year 2022 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 3
    Katara: Synthesize CRDTs from Sequential Types
    story by shadaj · 2022-10-07 · 0 comments