* datafun - attempt to extend datalog to more generic computation. http://www.rntz.net/datafun/ I liked simillar exploration of computing with latices with the concept of propagators: http://web.mit.edu/~axch/www/art.pdf
* dhall - configuration language that has user defined functions, but is total :) https://github.com/dhall-lang/dhall-lang
* the gamma - a visualization/data query language : http://tomasp.net/blog/2017/thegamma-getting-started/
* datafun - attempt to extend datalog to more generic computation. http://www.rntz.net/datafun/ I liked simillar exploration of computing with latices with the concept of propagators: http://web.mit.edu/~axch/www/art.pdf
* dhall - configuration language that has user defined functions, but is total :) https://github.com/dhall-lang/dhall-lang
* the gamma - a visualization/data query language : http://tomasp.net/blog/2017/thegamma-getting-started/