← 최신 프로덕트

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.

오픈소스

79 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Iceberg

    github.com

    Graphic Design and Diagramming in Python

    Hacker News19점

  2. Graphic

    github.com

    A grammar of data visualization and Flutter charting library

    Hacker News91점

  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점

  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점

  5. Visimer

    github.com

    open-source visual editor for Mermaid diagrams

    Hacker News17점