| AbcDatalog | Easy Datalog for research & pedagogy. |
|---|
| Clojure | Dynamic language known for its expressiveness and concurrent processing capabilities. |
|---|
| Datahike | A Datalog engine supporting immutability and distribution. |
|---|
| Datomic | Distributed database with an immutable data model and Datalog implementation. |
|---|
| Fantom | General-purpose object-oriented language, designed for cross-platform use and supporting static and dynamic typing. |
|---|
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
|---|
| Frink | Performs physical calculations while tracking units of measure. |
|---|
| GraalVM | High-performance runtime for multiple languages including Java, Python, and WebAssembly, with polyglot capabilities. |
|---|
| Groovy | Flexible and dynamic language for the Java platform with strong integration capabilities. |
|---|
| HotSpot VM | Java virtual machine known for its just-in-time compilation and adaptive optimization techniques. |
|---|
| Java | High-level language known for its portability and extensive ecosystem. |
|---|
| JIProlog | An interpreter for the Prolog language implemented in Java. |
|---|
| JRuby | Java-based implementation of Ruby, integrating closely with Java for two-way access. |
|---|
| Jython | Python implementation for the Java platform, enabling Python code to run on the JVM. |
|---|
| Kotlin | Concise, statically typed language interoperative with Java, targeting JVM and other platforms. |
|---|
| NetLogo | Multi-agent environment for modeling complex systems. |
|---|
| Processing | Language for visual and multimedia programming. |
|---|
| Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
|---|
| Shen | Multi-paradigm language blending functional and logic programming for symbolic computation. |
|---|
| Swift | Developed by Apple for its platforms, with a focus on safety and performance. |
|---|
| Whiley | Functional and imperative language with contracts and formal specification features. |
|---|
| XSLT | Declarative language for transforming XML documents. |
|---|