Thought I’d post here as well as on Reddit.
tldr; I wrote a CRDT library for Ada.
So far it has stuff like PN_Counters (Actor Map), LWW-Element-Set (Lamport Timestamps), RGAs (Yjs, Naive, Fugue), CvRDT with delta sync and HLC or CmRDT with bounded op log and ack/GC, LEB128 Encoding Wire Protocol.
There are some things I would need to polish, especially enabling SPARK mode for better gnatprove coverage. WIP, AI assisted, learning Ada atm.
View on Codeberg.
View on Alire Community Index.
Thx to u/i_hate_posting_here on r/Ada for reaching out to me and mentioning this forum.
6 Likes
Two new releases with some changes has been published to Alire Community Index. Some version bumps are too minor (by themselves) to warrant publishing to the community index.
tldr of what has been added: Committing to Golang 1.0 style backwards compatibility and versioning, fixing the Conway’s Game of Life Demo, better SPARK proof coverage.
CRDTs are a rabbit hole I am only starting to get into, though I hope to implement more advanced logical clocks and more CRDT types. I am also working towards SPARK Gold/Platinum and DO-178C compliance.
Changelogs: View on Codeberg
1 Like