[seagreen]

Hazel and Unison are two of the big ones. I'm friends with some of the Unison folks so I'm biased, but I really like how few features there are in the language. In general I'm just a huge sucker for subtractive improvement: if you can have a small number of awesome things (eg abilities) instead of a bunch of special case things (exception handling, monad trickery, dependency injection machinery) sign me up.

I know less about Hazel, my understanding is that it's source-code-in-CRDTs, which is definitely structured source code though may not technically be in a database.

[thyrsus]

Is this the unison you mean? https://www.unison-lang.org/

Unrelated: what has your experience been using igneous-linearizer to help understand other people's code?

[seagreen]

That's it. And the linearizer is only one way-- you write text with [[links]] and turn that into plaintext.