no stinking loops

Languages

• APL
• J
• Joy
• K2/3
• K4/Q
• K5

• Enchilada (manual)
• Enchilada (blog)

Implementations

• Another Lazy K
• Elevators: { and }
• Derivation of the Y-combinator in K

• F
• X
• XY
• An Overview of XY

• cK
• K for Joy Programmers
• A Conversation with Manfred von Thun
• A Note on Functional Programming in Joy and K

• Unlambda
• Continuations

• K Syntax
• Function Valence
• Function Arrays

• A Precedence Parser
• A Simple RPN Interpreter
• A Prefix Queue Machine

• Jot, Zot
• 01
• 10
• Befunge-93
• False!
• Befreak
• BrainF***

Tools

• K -> PDF (Keith Mason)
• Raul Miller on Regular Expressions
• Box Diagrammer
• Tree Diagrammer
• K Tree Viewer
• Box Graphics
• Vector Excel
• Process Graphs
• DAG Editor (K/VB)

Data

• Bitemporality
• Tables
• Rollup
• Drilldown
• Interactive Query

Applications

• Spreadsheets
• Instant Messaging
• A Simple Auction System
• Krav Maga Class Tracker

Techniques

• von Neumann Ordinals
• Called calls Caller
• Nth Nearest Neighbors
• Eliminate Neighbors
• . from Atoms
• n Prior
• Previous >
• Recursion
• The Same-Fringe Problem
• Atom Walk
• Shape
• Trees
• Dyadic Transpose
• Combination, Permutation, Partition
• Order Expressions
• Overlapping Processes
• ASCII->Unicode Box Characters
• Primes & Sieves
• Outline Sort
• K isn't Lisp

Logic

• Truth Tables
• A Two-Dimensional Notation for Elementary Logic
• Resolution Theorem Prover (Propositional Calculus)
• Unification Algorithm
• Resolution Theorem Prover (Predicate Calculus)
• Connection Graph Proof Procedure

Automata

• Parallel Lives
• Game of Life
• Boolean Hexagonal Automata
• Wolfram Automata
• Alexander Skomorokhov on Naive Neural Networks

Diversions

• Eliza
• Sudoku (atw)
• Meteor
• Meteor (K4)
• Garden Layout
• Morse
• Balls and Springs
• Pousse
• Explode
• Counters
• Add-A-Gram
• Nine 9s
• Scan for Lines
• Find Joined Line-Segments
• Who Moved?
• Solitaire Encryption
• "Set"
• Tower of Hanoi
• N Queens
• The 15 Puzzle
• Desktop Calculator

John Harrop's Ray-Tracer

• Scalar 1
• Scalar 2 (K4, Arthur)
• Vector 1
• Vector 2
• Vector 3
• Vector 4 (K4)

Agitprop

• Simplify Symbolic Expressions
• Programming Performance Comparison
• Fannkuch
• Subtree where leaf x is f x
• List from Parse-Tree
• Krishnamurthi's Swine
• Keith Waclena's Programming Language Crisis
• The Phonecodes Challenge
• Remarks on Style
• The Origins of J

• Code (nsl)
• Code (kx)
• Links
• Drawings: 1968, 1989, 2005, 2007, 2008
• Sketchbooks: 1989
• Eltanin Photographs (PDF Alert!)