https://github.com/danaugrs/lambda-vis

λ-Calculi Expression Visualizer
https://github.com/danaugrs/lambda-vis

deno lambda-calculus visualization

Last synced: 27 days ago
JSON representation

λ-Calculi Expression Visualizer

• Host: GitHub
• URL: https://github.com/danaugrs/lambda-vis
• Owner: danaugrs
• Created: 2023-09-03T16:36:47.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-10-08T19:30:31.000Z (over 1 year ago)
• Last Synced: 2024-11-19T06:04:14.661Z (3 months ago)
• Topics: deno, lambda-calculus, visualization
• Language: TypeScript
• Homepage: https://lambda-vis.deno.dev/
• Size: 352 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# λ-Calculi Expression Visualizer

This project visualizes λ-calculi expressions as graphs.

[Try it here](https://lambda-vis.deno.dev/).

![/screenshot.png](/screenshot.png)

### Usage

Start the project:

```

deno task start

```

This will watch the project directory and restart as necessary.

### About the λ-calculi parser

The λ-calculi parser in [`lib/parser.gen.ts`](lib/parser.gen.ts) was generated using [tsPEG](https://www.npmjs.com/package/tspeg) (3.2.2) based on the grammar in [`lib/lambda.grammar`](lib/lambda.grammar).

```

npm install -g tspeg

tspeg lib/lambda.grammar lib/parser.gen.ts

```