Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: beta-reduction

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Language: Prolog - Size: 3.91 MB - Last synced: 13 days ago - Pushed: 13 days ago - Stars: 29 - Forks: 3

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

Language: Rust - Size: 661 KB - Last synced: 12 days ago - Pushed: 9 months ago - Stars: 97 - Forks: 10

A repository exploring pure functional programming with Haskell

Language: Haskell - Size: 70.3 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

A lambda calculus evaluator in both Haskell and Python

Language: Haskell - Size: 27.3 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0

Language: Jupyter Notebook - Size: 27.2 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0

The λ-calculus in Haskell

Language: Haskell - Size: 15.6 KB - Last synced: 3 months ago - Pushed: 12 months ago - Stars: 4 - Forks: 0

A simple Lambda expression interpreter in Java

Language: Java - Size: 4.9 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

an interpreter for λ-calculus implemented in ruby

Language: Ruby - Size: 223 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 18 - Forks: 1

A Lambda Calculus interpreter implemented in C.

Language: C - Size: 127 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

Telegram β Apk

Size: 14.6 KB - Last synced: over 1 year ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

Lambda Calculus

Language: Python - Size: 24.4 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

Uma calculadora lambda simples

Language: C++ - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Here is a simple interpreter for beta-reduction of terms, which has been implemented using de Bruijn (de Braun) notation.

Language: C++ - Size: 2.83 MB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

An untyped lambda calculus interpreter written in Scala

Language: Scala - Size: 1.67 MB - Last synced: over 1 year ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

Related Keywords