| Functional languages |
|---|
 |
Amethyst
ML dialect compiler and bytecode intepreter.
Much of Core Syntax of Standard ML is supported.
Interfaces with Java and PostgreSQL is implemented.
|
 |
DumLambda
Compiler of lambda expression.
Type inference and pattern match are implemented.
|
 |
petit-Lambda
An trace tool of lambda calculus.
|
| Object oriented languages |
|---|
 |
Yamanba
An interpreter of a language Visual Basic like.
Higer-order functions, partial application, class inheritance, function overload are implemented.
|
 |
Programming Language J#
An compiler of J#(Java + α) to JVM bytecode.
|
 |
Programming Language Jflat
An compiler of subset of Java language.
It can self-compile.
|
| (pseudo) Logical language |
|---|
 |
Programming Language OOPS
A mini Prologue like language based onf GPS alghorithm.
|
