marvinborner / interaction-net-resources Star 60 Code Issues Pull requests 📚 Interaction net resources lambda-calculus interaction-nets inet beta-reduction linear-logic optimal-reduction interaction-combinators Updated Mar 25, 2026
etiamz / optiscope Star 48 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 Sep 21, 2026 C
marvinborner / supersat-hvm Star 4 Code Issues Pull requests SAT by superposition HVM benchmark interaction-nets superposition boolean-satisfiability optimal-reduction hvm Updated May 9, 2026 Shell
marvinborner / lambdascope Star 2 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