Productivity●●●Banger
Vis Pro – A Formula-Based Workout Program Editor
Spreadsheet-to-formula workout editor with LEGO-block reuse beats Fitbod and TrainHeroic.
Solve My ProblemNiche Gem
strongpigeon
104mo ago
Back to browse
CanhazKanren: A MicroKanren in Lolcode 1.3
by jasonhemann·Apr 1, 2026·2 points·0 comments
AI Analysis
●●SolidWizardryCozy
Full MicroKanren in LOLCODE 1.3: unification, goals, bounded search in one file.
Strengths
- •From Jason Hemann, known contributor to logic programming community and miniKanren
- •Single-file implementation with logic variables, unification, goal composition working
- •Demoscene-grade constraint craft: implementing serious CS in an esoteric language
Weaknesses
- •Novelty over utility: MicroKanren exists in dozens of more practical languages
- •LOLCODE 1.3 constraint limits real-world adoption beyond educational curiosity
Category
Target Audience
Programming language enthusiasts, logic programming researchers, demoscene hobbyists
Similar To
miniKanren · microKanren · logpy
Post Description
A minimal miniKanren, in strict LOLCODE 1.3. Logic variables, unification, goal composition, and bounded search, in one file. Slices and dices.
Similar Projects
Education●●Solid
Codyssey – control system programming game (open beta)
Control systems focus sets it apart from generic coding puzzle games like Human Resource Machine.
Niche GemCozy
andersource
401mo ago
Education●●Solid
Code Island – teaches programming logic with drag-and-drop blocks
Charming bunny puzzle game with step-through debugging for learning logic.
CozyNiche Gem
zslava88
101mo ago
Education●●●Banger
Rungs.dev – IDE for PLC AOIs with Structured Text and Ladder Logic
First free in-browser PLC IDE with ladder logic, tests, and trend analysis—no hardware needed.
Niche GemZero to OneCozy
Dagryl
104mo ago
Education●Mid
A logic puzzle game I built for my 5-year-old daughter(mostly AI coded)
Cute UI, but puzzle mechanics and progression are unclear from the landing page.
Eye CandyShip It
oser
204mo ago
Productivity●●Solid
Topolog – Plans as typed DAG programs, deadlines computed, not guessed
DAG-based planning with Monte Carlo deadlines when Asana and Linear already exist.
Big BrainSolve My Problem
rohithbv
301mo ago