Awesome Open Source

Programming Languages

Search results for lambda functions reduction

lambda-functions x

1 search results found

Elsa is a lambda calculus evaluator

Éole, a Lévy-optimal lambda calculus evaluator without oracle

Lambda_calculus ⭐ 85

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

Lambda Calculus ⭐ 51

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

Lambda Scala ⭐ 32

Type level lambda calculus in Scala

Macro Lambda Calculus

Proof theory seminar

Agda Nbe ⭐ 21

Formalizing nbe in agda

Formality Net Animator ⭐ 9

Animations for Elementary-Affine-Net interactions

Yet another lambda calculus interpreter

Pylambdac ⭐ 8

A lambda calculus interpreter in Python

A lambda calculus interpreter written in Python

Pure Lambda Calculus Playground ⭐ 6

Lambda Diagrams ⭐ 6

Animations of lambda term reduction sequences

A lambda calculus parser, evaluator and repl

An interpreter for the untyped lambda calculus

Related Searches

Amazon Web Services Lambda Functions (7,495)

Javascript Lambda Functions (4,270)

Python Lambda Functions (3,231)

Lambda Functions Serverless (3,071)

Java Lambda Functions (1,104)

Lambda Functions Gateway (1,046)

Typescript Lambda Functions (944)

Python Reduction (464)

Jupyter Notebook Reduction (191)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.