bntr.planet.ee wiki

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

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

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)

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


Hakoiri

Program solves Klotski puzzle.

Solution as html (JS)

Source

tags: python, source
date: 13.08.2007


Rationals

Python script for Inkscape
builds a grid of rational numbers.

Poster.pdf (2mb)

Source

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

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

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


QTGrid

The program for study of musical harmony.
Is inspired with the tutorial of professor of the Moscow Tchaikovsky Conservatory
Yuri Kholopov "Harmony: Theoretical Course"
and improved on the basis of papers of Dr Simon Holland (United Kingdom).

Binary, with help and samples

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

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))

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

tags: lambda
date: 06.02.2018


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

tags: lambda
date: 06.02.2018


Mõte

Visuaalne programmeerimiskeel lambda-arvutuse alusel

Kasutamine

tags: lambda
date: 06.02.2018


Structure of natural numbers

tags: generative
date: 19.06.2008


Calenders

pdf

pdf

tags: generative
date: 19.06.2008


Mandala

poster.pdf

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 + ..

tags: generative
date: 19.06.2008