Awesome Open Source

Programming Languages

Search results for calculus reduction

19 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

################1

Agda Nbe ⭐ 21

Formalizing nbe in agda

An implementation of asynchronous π-calculus in Go

Yet another lambda calculus interpreter

Ambients Reducer ⭐ 8

Ambient Calculus reduction engine

Pylambdac ⭐ 8

A lambda calculus interpreter in Python

A lambda calculus interpreter written in Python

Lvar Semantics ⭐ 7

PLT Redex models of LVar calculi

A lambda calculus parser, evaluator and repl

Pure Lambda Calculus Playground ⭐ 6

An interpreter for the untyped lambda calculus

Anagopos3d ⭐ 5

Anagopos 3D: A Reduction Graph Visualizer for Term Rewriting and λ-Calculus

Related Searches

Python Reduction (464)

Lambda Functions Calculus (381)

Haskell Calculus (196)

Jupyter Notebook Reduction (191)

Python Calculus (176)

Mathematics Calculus (170)

1-19 of 19 search results

Privacy | About | Terms | Follow Us On Twitter

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