bntr.planet.ee wiki

Programs with sources: http://bntr.planet.ee/wiki/?tag=source

All articles: http://bntr.planet.ee/wiki/?tag=all

id: main
tags: main, docs
date: 18.06.2008


Visual lambda

Environment allows intuitive manipulation of lambda calculus expressions.

Screenshot

Examples

Project home

"Visual lambda calculus" Master thesis (pdf)

id: lambda
tags: python, source, thesis, lambda
date: 18.06.2008


Hakoiri

Program solves Klotski puzzle.

Solution as html (JS)

Source

id: hakoiri
tags: python, source
date: 13.08.2007


Rationals

Python script for Inkscape
builds a grid of rational numbers.

Poster.pdf (2mb)

Source

id: rationals
tags: python, source, svg, inkscape, generative
date: 18.06.2008


Julia Set Interactive

Program for interactive manipulation of Julia Set.
Visualizes iterative construction of Julia and Mandelbrot sets, and their connection.

Binary, source

id: julia
tags: fractal, cpp, vc, windows, source
date: 13.08.2007


Vectal

Program for interactive manipulation of geometric fractals.
Allows to construct L-system-like fractal curves.

more screenshots on LJ

Binary, sample documents, source

id: vectal
tags: fractal, vc, cpp, windows, source
date: 13.08.2007


QTGrid

A Windows app for learning musical harmony.
It was inspired by the book of Yuri Kholopov "Harmony. Theoretical Course".
and improved based on the papers of Simon Holland.

Binary, with help and samples

id: qtgrid
tags: vc, cpp, windows, source
date: 19.06.2008


Object 2

Interactive Flash rotation of 3D object
using reverse perspective transformation matrix.

object2.swf

Source

id: object2
tags: flash, 3d, source
date: 18.06.2008


Factorial

T = \x y. x
F = \x y. y
Y = \f. (\x. f (x x)) (\x. f (x x))
ISZERO = \n. n (\x. F) T
MULT = \m n f. m (n f)
1 = \f n. f n
PRED = \n f x. n (\g h. h (g f)) (\u. x) I

Y ISZERO MULT 1 PRED


FACT = Y (\f n. (ISZERO n) 1 (MULT (f (PRED n)) n))

id: lambda_fact
tags: lambda
date: 06.02.2018


Animation

T = \x y. x
FST = \p. p T
(E1,E2) = \f. f E1 E2
FST (E1,E2) = E1

Animation


MULT = \m n f x. m (n f) x
5 = \f x. f (f (f (f (f x))))
MULT 2 3 = 6

Animation

id: lambda_anim
tags: lambda
date: 06.02.2018


Semantics

id: lambda_semantics
tags: lambda
date: 06.02.2018


Links

Lambda Calculus Visualizations

Programming with Visual Expressions Wayne Citrin, Richard Hall, Benjamin Zorn
http://users.encs.concordia.ca/~haarslev/vl95www/html-papers/citrin/citrin.html

A Graphical Notation for the Lambda Calculus with Animated Reduction
David C Keenan
http://users.bigpond.net.au/d.keenan/Lambda/

Alligator Eggs. A puzzle game.
http://worrydream.com/AlligatorEggs/

Lambda Animator. Michael Thyer (java)
http://thyer.name/lambda-animator/

Visual Languages

Abstract Syntax and Semantics of Visual Languages
Martin Erwig
http://web.engr.oregonstate.edu/~erwig/papers/VLSemantics_JVLC98.pdf

Visual Programming
Jean-Sebastien Mouret
http://www.lrde.epita.fr/dload/20020514-Seminar/js0502_rapport.pdf

http://en.wikipedia.org/wiki/Visual_programming_language

id: lambda_links
tags: lambda
date: 06.02.2018


Mõte

Visuaalne programmeerimiskeel lambda-arvutuse alusel

Kasutamine

id: lambda_m6te
tags: lambda
date: 21.02.2020


Structure of natural numbers

id: naturals
tags: generative
date: 19.06.2008


Calenders

pdf

pdf

id: calenders
tags: generative
date: 19.06.2008


Mandala

poster.pdf

id: mandala
tags: vector, generative
date: 19.06.2008


Squaring the circle

π²/6 = 1/1² + 1/2² + 1/3² + ..

π/4 = 1/1 - 1/3 + 1/5 - 1/7 + ..

id: squaring
tags: generative
date: 19.06.2008