Make a lambda calculus.
Lambda Calculus things implemented on Python
Lambda Notebook: Formal Semantics in Jupyter
Scripting language inspired by LISP and Scheme
🕸️ A neurosymbolic parser for Dutch.
Not that lambda calculus really needs a spec...
Python package for the lambda calculus
λ Lambda Calculus Encodings
A binary λ-calculus (BLC) interpreter written only in Python lambdas.
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 python based lambda interpreter
λ-calculus interpreter written in python
Convert any Python file into a single line of code.
Beta reducer and shorthand representer for the λ-calculus
Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.
🐍 A sandbox for trying out functional programming in Python
Exploring basic lambda calculus in Python
A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
Lambda Calculus Interpreter
A simple programming language inspired by Ocaml, based on non-typed lambda calculi.
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."