Anna: A Crazy Fast, Super-Scalable, Flexibly Consistent KVS

https://databeta.wordpress.com/2018/03/09/anna-kvs/

Discussion: https://news.ycombinator.com/item?id=16551072

Also see...

Peter Alvaro / Disorderly Labs https://people.ucsc.edu/~palvaro/

Data-Centric Programming: Rendezvous, Bloom and CALM (Joe)

https://ucbrise.github.io/cs294-rise-fa16/rendezvous.html

BOOM http://boom.cs.berkeley.edu/

Paper summary. Blazes: Coordination analysis and placement for distributed programs

http://muratbuffalo.blogspot.com/2017/11/paper-summary-blaze...

A functional and logic programming language inspired by Scala, OCaml, and Datalog.

https://flix.github.io/

From Doom and Gloom to BOOM and Bloom [video]

https://www.youtube.com/watch?v=voQKPymcCfA

https://github.com/tcondie/jol

We built quite a few prototypes on top of it. The language implementation is a research prototype, but it is impressively stable.

Overlog’s synatax is based on datalog, but it shares many core ideas with Bloom.