Lambda-Mountain-Compiler-Backend/LSTS

Large Scale Type Systems: ML/C Hybrid Programming Language

Size: 1.22 MB - Last synced at: 10 days ago - Pushed at: 4 months ago - Stars: 124 - Forks: 3

lenguyenthanh/compilers

A place for me to learn/ experiment with interpreters/compilers

Language: Scala - Size: 1.42 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 12 - Forks: 1

jimouris/lambda-calculus-interpreter

⚙️ A simple lambda (λ) calculus interpreter

Language: Haskell - Size: 96.7 KB - Last synced at: 7 months ago - Pushed at: about 7 years ago - Stars: 10 - Forks: 5

azreika/lambdul

Lambda calculus interpreter written in Java

Language: Java - Size: 668 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 2

Carnagion/lamb

Pure untyped lambda calculus in safe Rust.

Language: Rust - Size: 60.5 KB - Last synced at: 19 days ago - Pushed at: almost 3 years ago - Stars: 7 - Forks: 0

OganyanRV/Lambda-calculus-interpreter

Language: Jupyter Notebook - Size: 27.2 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 0

n-alex-goncalves/Lambda-Calculus-Interpreter

An iterative untyped lambda calculus interpreter written in JavaScript.

Language: JavaScript - Size: 1.79 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

barrettotte/wyvern

An untyped lambda calculus interpreter

Language: Rust - Size: 31.3 KB - Last synced at: 4 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

OganyanRV/Beta-reduction

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 at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

maxpohlmann/Alonzo

An implementation of untyped λ-calculus (lambda calculus) in Elixir

Language: Elixir - Size: 13.1 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

wangdxh/essential-of-Lambda

essential lambda

Language: Java - Size: 43 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

dhodgson615/Lambda-Calculus-Interpreter-C

The C port of the Python version of this repo

Language: C - Size: 257 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

Deric-W/lambda_repl

REPL for the lambda calculus

Language: Python - Size: 66.4 KB - Last synced at: 11 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

bediger4000/lambda-calculator

lambda calculus interpreter

Language: C - Size: 65.4 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1

dpunv/computing_simulator

A simple computing models simulator in Rust

Language: Rust - Size: 368 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

echoInVoid/lambda

一个无类型lambda演算解释器。

Language: C++ - Size: 2.93 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

DisguisedPigeon/Lambda-Interpreter

A basic lambda calculus interpreter written in ocaml. This was written as a university project for Diseño de Lenguajes de Programacion.

Language: OCaml - Size: 7.81 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

frangaren/c-lambda-calculus-interpreter

A lambda calculus interpreter written in C.

Language: C - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0