no stinking loops
WOLF! (Andrew Chase)
GK
Late Additions
- K for BareMetal
- Simple Ticker Plant (K3)
- Binary Lambda Calculus
- Binary Combinatory Logic
- Chris Pearson's "Mesh" Spreadsheet (wow!)
- A Quantum Computing Library (Eusebio Rufian-Zilbermann)
- Learning K programming, idiom by idiom (Eusebio Rufian-Zilbermann)
- A K Zoo
- Douglas Mennella's K Projects
- The K Language Wiki
- Chris Pearson's K Essays
- Nick Nickolov (ngn) on K
- ktye's Array Language Site
Tableau Systems (K3)
- Truth-Functional Logic
- Godel-Lob Provability Logic
- Trees as Vectors
- General Tree Diagrammer
- Binary Tree Diagrammer
- Nested Tree Diagrammer
- A Rationalized Notation for First-Order Logic
- Unification (Chang & Lee)
- Truth-Functional Logic in GK
Term-Rewriting
Primitive and General Recursion
Odds and Ends
- It's All Been Done Before
- Dynamic Programming in K: _f -> f/x
- John Earnest: Trees in K
- a.kx.com/q/
- Thomas Lackner's C++ Implementation of Apter Trees
- 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
Languages
Implementations
- Another Lazy K
- Elevators: { and }
- Derivation of the Y-combinator in Q
- Derivation of the Y-combinator in K3
- Expression Evaluation without Recursion
- cK
- K for Joy Programmers
- A Conversation with Manfred von Thun
- A Note on Functional Programming in Joy and K
- 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)
Tools
- Find Path from Symbol|Object
- 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
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
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
K9 (deprecated)
- 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)