SKRED

An SK combinator graph reduction engine implemented in Java.

Features:

• A simple core language.
• Built-in functions for arithmetic and structured data.
• Can be used standalone or as the target language for a more sophisticated compiler.
• Reasonable performance (for SK combinator reduction, that is).

Documentation

See the documentation. The test folder contains some sample programs.

Installing

Run ./gradlew build and move build/libs/skred-*.jar to a location of your choice.

Running core programs

java -jar skred.jar *your_program*.core

License

skred is open source. It is distributed under the MIT License.