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
Environment allows intuitive manipulation of lambda calculus expressions.
Examples
"Visual lambda calculus" Master thesis (pdf)
id: lambda
tags: python,
source,
thesis,
lambda
date: 18.06.2008
Program solves Klotski puzzle.
id: hakoiri
tags: python,
source
date: 13.08.2007
Python script for Inkscape
builds a grid of rational numbers.
Poster.pdf (2mb)
id: rationals
tags: python,
source,
svg,
inkscape,
generative
date: 18.06.2008
Program for interactive manipulation of Julia Set.
Visualizes iterative construction of Julia and Mandelbrot sets, and their connection.
id: julia
tags: fractal,
cpp,
vc,
windows,
source
date: 13.08.2007
Program for interactive manipulation of geometric fractals.
Allows to construct L-system-like fractal curves.
Binary, sample documents, source
id: vectal
tags: fractal,
vc,
cpp,
windows,
source
date: 13.08.2007
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.
id: qtgrid
tags: vc,
cpp,
windows,
source
date: 19.06.2008
Interactive Flash rotation of 3D object
using reverse perspective transformation matrix.
id: object2
tags: flash,
3d,
source
date: 18.06.2008
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
T = \x y. x FST = \p. p T (E1,E2) = \f. f E1 E2
FST (E1,E2) = E1
MULT = \m n f x. m (n f) x 5 = \f x. f (f (f (f (f x))))
MULT 2 3 = 6
id: lambda_anim
tags: lambda
date: 06.02.2018
id: lambda_semantics
tags: lambda
date: 06.02.2018
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/
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
id: lambda_m6te
tags: lambda
date: 21.02.2020
id: naturals
tags: generative
date: 19.06.2008
id: calenders
tags: generative
date: 19.06.2008
id: mandala
tags: vector,
generative
date: 19.06.2008
π²/6 = 1/1² + 1/2² + 1/3² + ..
π/4 = 1/1 - 1/3 + 1/5 - 1/7 + ..
id: squaring
tags: generative
date: 19.06.2008