☰
Recursor
Wolfram Institute
⋮
Resource page
Wolfram
Institute/Recursor
Recursor
Language
Evaluation
Compilation
Evolution
Visualization
Tutorials
Arithmetic Patterns from Small Programs
Checking Recursor with Lean
Evolving Lambda Expressions
Evolving Recursor Programs
From Recursor Programs to Lambda Reductions
Halting, Trajectories and Evaluation Budgets
Measuring Program Evolution
Migrating Notebooks to Recursor
The Recursor Language
Universal Computation with Recursor
Loading...
Acc
Add
CGet
Check
Recursor
Proofs
Compile
Recursor
Const
Co
Rec
Crossover
Recursor
Evaluate
Recursor
Evolve
Recursor
Format
Recursor
Half
Idx
Ifz
Install
Recursor
Libraries
Iter
Monus
Mul
Mutate
Recursor
Normalize
Recursor
Parse
Recursor
Pred
Random
Recursor
Rec
Recursor
Evolution
Plot
Recursor
Examples
Recursor
Expression
Q
Recursor
Free
Variables
Recursor
Genealogy
Graph
Recursor
Libraries
Recursor
Node
Count
Recursor
Program
Q
Recursor
Program
Tree
Recursor
Sites
Rem
Replace
Recursor
Part
Score
Recursor
Setup
Recursor
Simplify
Recursor
Succ
To
Recursor
Var
While
Loop
$Recursor
Grammar
$Recursor
Version