See the just released paper on Anna, which subsumes the related projects:

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

Latest commit in November 2017: https://github.com/bloom-lang/bud/commits/master

But it requires "Ruby (MRI) 1.8.7 and 1.9. Bud also has experimental support for Ruby 2." which means it's on life support. Fair for a research project started when 1.8.7 was current but not much for doing any real work today.

You might also be interested in JOL/Overlog, which was the predecessor to Bloom:

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.