WolframInstitute/Recursor
A universal natural-number language for program synthesis and evolution
Contributed By: Wolfram Institute
EvaluateRecursor evaluates a program on a natural-number input.
Installation Instructions
To install this paclet in your Wolfram Language environment,
evaluate this code:
PacletInstall[ResourceObject["https://wolfr.am/1IuTobNWg"]]
To load the code after installation, evaluate this code:
Needs["WolframInstitute`Recursor`"]
Details
A compact natural-number DSL with bounded recursion and unbounded iteration.
Programs can be interpreted directly or compiled to closed lambda terms.
Scope-aware generation, mutation and crossover support evolutionary experiments.
Evaluation limits return structured failures.
A Lean proof translates mathlib partial-recursive codes to closed DSL programs with the same partial denotation.
Documentation is authored in Markdown and built with PacletPage.