| Language | Paradigms | Type system | Languages it influenced |
|---|---|---|---|
| AQASM | — | — | — |
| Ballerina | concurrent computing | static typing, inference typing, structural typing, strong typing | — |
| Guix Workflow Language | — | — | — |
| OpenQASM | — | — | — |
| Publicodes | — | — | — |
| Q# | functional programming, imperative programming, quantum programming | static typing, strong typing | — |
| Source | procedural programming, functional programming, imperative programming, multi-paradigm programming | dynamic typing, duck typing | — |
| Visual Novel Maker | — | — | — |