Method for Long Context RLMs using verifiable Lambda Calculus
Lambda Calculus things implemented on Python
Make a lambda calculus.
Lambda Notebook: Formal Semantics in Jupyter
A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests
🕸️ An end-to-end neurosymbolic parser for Dutch.
Scripting language inspired by LISP and Scheme
Python package for the lambda calculus
Untyped Lambda Calculus interpreter performing alpha-conversion, capture-avoiding substitution, and normal-order beta reduction with 0 pip.
Not that lambda calculus really needs a spec...
Untyped Lambda Calculus interpreter performing alpha-conversion, capture-avoiding substitution, and normal-order beta reduction with 0 pip.
A binary λ-calculus (BLC) interpreter written only in Python lambdas.
Convert any Python file into a single line of code.
λ Lambda Calculus Encodings
λ-calculus interpreter written in python
A python based lambda interpreter
Beta reducer and shorthand representer for the λ-calculus
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
| λ | A packaging of tools for expressing dependency graphs as typed derivations of a multimodal categorial grammar.
Lambda Calculus Interpreter
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."