Regent http://regent-lang.org/ implicit dataflow parallelism
DAML https://daml.com/ decentralized applications
Circle https://www.circle-lang.org/ data-driven imperative metaprogramming
Neverlang https://cazzola.di.unimi.it/neverlang2.html language creation
XL https://github.com/c3d/xl extensible
Mun https://mun-lang.org/ embeddable scripting language
Lily https://www.litylang.org/ blockchain smart contracts
Icon https://www2.cs.arizona.edu/icon/ goal-directed evaluation
PWCT http://doublesvsoop.sourceforge.net/ programming without coding
Ring http://ring-lang.sourceforge.net/ general-purpose
Ecstasy https://github.com/xtclang/xvm serverless cloud applications and connected devices
Inform7 http://inform7.com/ interactive fiction, human readable
Plexil http://plexil.sourceforge.net/wiki/index.php/Main_Page real or simulated systems
SuperCollider https://supercollider.github.io/ sound processing
Wavescript https://www.cs.indiana.edu/~rrnewton/wavescope/WaveScope_+_WaveScript/WaveScope_Homepage.html Distributed Stream-Processing Language
Esterel http://www.esterel.org/ control-dominated reactive systems
LabVIEW http://www.ni.com/es-cl/shop/labview.html data availability, Visual programming
Rapid https://github.com/kevinaangstadt/rapid programming pattern recognition processor
Miniscript http://bitcoin.sipa.be/miniscript/ smart contracts
Manool https://manool.org/ expressive power, implementation complexity ratio
Kronos http://kronos.vesanorilo.com/ sound processing
Fift https://test.ton.org/ TON Blockchain smart contracts
Subtext http://www.subtext-lang.org/ Coherent reaction, visual programming
Pure-Data https://github.com/b2renger/Introduction_Pure_Data digital signal processing
Beluga https://www.cs.mcgill.ca/~complogic/beluga/index.html formal systems, metaprogramming