no stinking loops

WOLF! (Andrew Chase)

• Wolf Construction Documentation

Tableau Systems (K3)

• Unification (Chang & Lee)
• KE Calculus for Truth-Functional Logic
• Modal Logics (K, T, D, K4, B, S4, S5) [incomplete - only K]
• Godel-Lob Provability Logic
• First-order Logic with Identity [incomplete]
• Truth-Functional Logic
• Trees as Vectors
• General Tree Diagrammer
• Binary Tree Diagrammer
• Nested Tree Diagrammer
• Iverson NV Parser

Term-Rewriting

• Term-Rewriting for Logic and Arithmetic
• Term-Rewriting in K3
• Term-Rewriting in K4

Primitive and General Recursion

• Recursion in Q
• Recursion in K3

Odds and Ends

• Bill Wadge's PyFl (h/t Davd Thomas at Bedarra)
• Ris-K: Xavier O'Neil's Risk Boardgame Calculator (K3/Kona)
• Charles Hall's Solution to the Knapsack Problem (K3)
• Hao Deng's D4M implementation in Q
• Mike Rosenberg's paper on K and real-time data (K3, PDF)
• Build an Index (K3)
• Ideographic Solvers for the Propositional Calculus (K3)
• All Paths to Functions (K3)
• Spread (Robbert van Dalen)
• John Earnest's Blog Archive
• Recursive Combinators (John Earnest)
• Parallel Median
• Sets
• Three K3 Solutions to the Percolation Problem
• K in hacker news
• OK (John Earnest)
• Andrew Kozyrev's 'Dark Corners of Q'
• Q-to-C compiler (Andrew Kozyrev)
• Shift-Reduce Expression Parsing by Douglas Gregor

A Ray-Tracer in 7 Lines of K

The Hypergrid Project on Github

• How to run the Hypergrid examples

• Hypergrid
• Hypertree
• Hypercalc

• Start Hypertree
• Hypertree in Q (zipped)
• Hypergrid demos

Languages

• APL
• J
• Joy
• K4/Q
• K6

• Enchilada

• A Term-Rewriting System for Joy

Implementations

• Another Lazy K
• Elevators: { and }
• Derivation of the Y-combinator in Q
• Derivation of the Y-combinator in K3
• Expression Evaluation without Recursion

• 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

• K3 Tokenizer/Parser/Optimizing Unparser
• K6/K3 2x2 Parser (atw)
• K3 "ABC" 2x2 Parser (sa)
• Parser-Combinators in K (John Earnest)
• Parser-Combinators in oK (John Earnest)
• The Parser Club (Jack Andrews)

• Function Analysis
• Function Arrays
• Lists are Maps

• A Shift-Reduce 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
• Parent-Child Table Graph Diagrammer
• K Tree Viewer
• Box Graphics
• Vector Excel
• Process Graphs
• DAG Editor (K/VB)

Data

• Bitemporality
• Tables
• Rollup
• Drilldown
• Interactive Query
• K3 Implementation of ksql
• Hypertree in K3
• High Volume Transaction Processing ..

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
• Strongly Connected Components
• Loops in Graphs
• K4 Dictionary Extensions in K3

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

• 3,4,5 Doublets (Ed Bierly)
• 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 [corrected by nick nickolov]
• N Queens
• The 15 Puzzle
• Desktop Calculator
• Golf!
• Punctuation Analysis of the Preface to Hegel's Phenomenology of Mind

John Harrop's Ray-Tracer

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

Vector Papers

• Tables with Calculated Columns
• Treetables: A case-study in q
• Functional Programming in Joy and K
• A Conversation with Manfred von Thun
• Someone Just Moved! Who Was It? (Eugene McDonnel)

Agitprop

• The Advent of Programming in K
• Aaron Davies' Q blog
• Aaron Davies' github code
• Swee Heng's K/Q Page
• 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

Oulipo in K

• Rhys Hughes Story Grid
• 8 x 8 Story Grid

K9

• Chris Pearson on K
• Tiny SQL Parser (K9)
• Antonio's Guide to Adverbs
• Chris Pearson's Advent of Code 2020 solutions
• John Estrada's Shakti (K9) Tutorial
• The Y-combinator in K9
• Order Expressions (K9)
• Trees (parent/depth) (K9)
• Ideographic Solver for the Propositional Calculus (K9)
• Recursive Functions (K9)
• List Structure (K9)
• Map-Reduce in Shakti (mac only) (zip)
• Map-Reduce in Shakti (mac only)

Deprecated

• K Syntax 2 x 2 [comp.lang.apl]
• Another 2 x 2 K Parser

• Code (nsl)
• Line Magnetic 812 iconic