Plangs
| Name | Description |
|---|---|
| Pure | Based on term rewriting, integrating symbolic computation and JIT compilation via LLVM. |
| Python | Dynamic, high-level programming language known for its easy-to-read syntax. |
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
| Wolfram Language | High-level language used in Mathematica, known for symbolic computation and functional programming. |