RE: Searching for Programming Languages?

[himan12345]

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