marvinborner / interaction-net-resources Star 37 Code Issues Pull requests 📚 Interaction net resources lambda-calculus interaction-nets inet beta-reduction linear-logic optimal-reduction interaction-combinators Updated Nov 11, 2025
etiamz / optiscope Star 37 Code Issues Pull requests A Lévy-optimal lambda calculus reducer with a backdoor to C interpreter functional-programming lambda-calculus evaluation higher-order-functions theory-of-computation graph-reduction beta-reduction optimal-reduction Updated Oct 15, 2025 C
marvinborner / lambdascope Star 1 Code Issues Pull requests optimal lambda calculus reducer with delimiter bookkeeping (fork) lambda-calculus optimal-reduction lambdascope Updated Sep 16, 2025 Haskell
codedot / bohm Star 0 Code Issues Pull requests Bologna Optimal Higher-Order Machine lambda-calculus optimal-reduction Updated Feb 11, 2017 C