7 projects
tablambda
A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs
fixpoints
Least-fixpoint cached-property infrastructure for mutual recursion
overlay.library
Backward compatibility wrapper — overlay.library is now mixinv2-library
overlay.language
Backward compatibility wrapper — overlay.language is now mixinv2
mixinv2-library
The MIXINv2 standard library — built-in definitions for MIXINv2
mixinv2
A dependency injection framework with pytest-fixture syntax, plus a configuration language for declarative programming
co-lambda
A pure lambda-calculus interpreter that applies tabling to weak-head reduction, folding self-referential terms into finite cyclic graphs
