← Latest products

Visual Lambda Calculus

a thesis project (2008) revived for the web. Visual environment for manipulation the lambda calculus expressions. Originally built as my master's thesis in 2008, Visual Lambda is a graphical environment where lambda terms are manipulated as draggable 2D structures ("Bubble Notation"), and beta-reduction is smoothly animated.

Open source

79 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Iceberg

    github.com

    Graphic Design and Diagramming in Python

    Hacker News19 pts

  2. Graphic

    github.com

    A grammar of data visualization and Flutter charting library

    Hacker News91 pts

  3. An interactive creative coding project in p5.js

    synapse.nugatio.com

    (space = reset) Fluid mechanics is an extremely interesting topic and I have been creative coding for a couple of months now.

    Hacker News26 pts

  4. Rotation via Double Reflection

    static.laszlokorte.de

    While studying Geometric Algebra I have built some interactive visualization to demonstrate how geometric transformations (rotation, scaling, translation) can be constructed by just composing reflections.

    Hacker News61 pts

  5. Visimer

    github.com

    open-source visual editor for Mermaid diagrams

    Hacker News17 pts