GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → lunarcast → lunarflow

lunarcast / lunarflow

Licence: other
Lambda calculus go brrrr

Programming Languages

purescript
368 projects
javascript
184084 projects - #8 most used programming language
Dhall
116 projects
typescript
32286 projects
SCSS
7915 projects
Nearley
35 projects
HTML
75241 projects

Labels

lambda-calculusfunctional-programm

Projects that are alternatives of or similar to lunarflow

StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-44.44%)
Mutual labels:  lambda-calculus
universe-of-syntax
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
Stars: ✭ 16 (-40.74%)
Mutual labels:  lambda-calculus
LambdaCalculusPlayground
An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
Stars: ✭ 16 (-40.74%)
Mutual labels:  lambda-calculus
js-church-encoding
Church Encoding Implementation in JavaScript
Stars: ✭ 33 (+22.22%)
Mutual labels:  lambda-calculus
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Stars: ✭ 16 (-40.74%)
Mutual labels:  lambda-calculus
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-25.93%)
Mutual labels:  lambda-calculus
Elsa
Elsa is a lambda calculus evaluator
Stars: ✭ 135 (+400%)
Mutual labels:  lambda-calculus
Krivine-Machine
Abstract krivine machine implementing call-by-name semantics. In OCaml.
Stars: ✭ 34 (+25.93%)
Mutual labels:  lambda-calculus
pomagma
An inference engine for extensional untyped λ-calculus
Stars: ✭ 15 (-44.44%)
Mutual labels:  lambda-calculus
vanilla-lang
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (+170.37%)
Mutual labels:  lambda-calculus
lambda-zero
A minimalist pure lazy functional programming language
Stars: ✭ 65 (+140.74%)
Mutual labels:  lambda-calculus
abella
An interactive theorem prover based on lambda-tree syntax
Stars: ✭ 81 (+200%)
Mutual labels:  lambda-calculus
lambda
Macro Lambda Calculus
Stars: ✭ 38 (+40.74%)
Mutual labels:  lambda-calculus
BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Stars: ✭ 45 (+66.67%)
Mutual labels:  lambda-calculus
lambda
lambda calculus interpreter
Stars: ✭ 23 (-14.81%)
Mutual labels:  lambda-calculus
Curryhoward
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (+748.15%)
Mutual labels:  lambda-calculus
meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
Stars: ✭ 40 (+48.15%)
Mutual labels:  lambda-calculus
lambda-fibonacci
Implementation of the Fibonacci sequence in JS using pure Lambda Calculus
Stars: ✭ 18 (-33.33%)
Mutual labels:  lambda-calculus
salt
The compilation target that functional programmers always wanted.
Stars: ✭ 62 (+129.63%)
Mutual labels:  lambda-calculus
lambda-calculus
An introduction to the Lambda Calculus
Stars: ✭ 59 (+118.52%)
Mutual labels:  lambda-calculus
View All Similar Projects ➔

Lunarflow

This project is currently on hold. I might or might not resume development.

Tool for beginners to learn lambda calculus using an intuitive (or so I hope) visualisations.

This is still in a super early stage, so maybe start this repo and come back in a few months :D

Try it out here.

This project is in such an early stage that link probably leads to a blank page.

Setup

  • Clone the repo
  • Run: 
    pnpm install

Dev server

  • Run

    pnpm dev

Build for production

  • Run

    pnpm build
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].