Kan, the Programming Language That Fills the Gaps
Kan is a dependently typed programming language built around completing partial diagrams, with total pattern matching and native-code compilation.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
124,063 catalogue cards
-
-
KarlTrain: a Caltrain app built around the actual commute
An iPhone app for Caltrain departures, live train positions, stop-by-stop arrival alarms, service alerts, transfers, and train sharing.
-
Kill Clipper: One GTA RP Kill, One Discord-Ready File
A Windows utility that scans GTA 5 roleplay recordings, extracts each detected kill, names the clips by date and time, and keeps them under Discord’s file-size limit.
-
Kipferl turns Python CLI apps into tiny Rust-backed binaries
Kipferl lets developers write command-line applications in Python syntax and ship them as standalone executables.
-
Koindian Teaches Korean in Hindi
A Hindi-first Korean course covering Hangul, vocabulary, grammar, and everyday sentences without an English detour.
-
koment keeps the why next to your code
A Git-anchored annotation tool that stores code rationale beside the exact lines it explains.
-
KozDevis Turns a Réunion Worksite Voice Note Into a Quote
A voice-to-quote tool for Réunion construction artisans that structures spoken job details into compliant BTP estimates.
-
Hanzi Match Makes Travel Chinese a Matching Game
An interactive Mandarin practice tool that teaches 228 travel phrases across nine real-life situations.
-
A Life Graph for OCD
LifeGraph Intelligence is an interactive medical evidence mapper that connects conditions, symptoms, behaviours, mechanisms, treatments, and context.
-
Loqura: a phone agent for crossing language barriers
Loqura calls offices in 11 languages to book appointments, reschedule them, or check application statuses on a user's behalf.
-
Kentucky Barrel Picks: a sourced map of bourbon programs
A directory tracking single-barrel selection programs at 20 Kentucky and Indiana distilleries.
-
Love Bureau of Investigation
A Taiwanese relationship-analysis service turns chat logs into detective-style case files about romantic subtext, conversational patterns, and what to do next.
-
Luma Creator Tools: Twelve Small Tools for Making Content
A free, account-free browser toolkit for scripts, recording, video, images, social posts, and creator planning.
-
LunaStat Wants to Make R Feel Like a Wizard
A prelaunch desktop statistics platform for life-science research, offering guided analyses, publication-ready figures, and built-in method explanations without requiring code.
-
MacAppUpdate Wants to Make Mac Updates Safer
A local-first Mac utility scans /Applications, finds updates through Homebrew, Sparkle, the App Store, and package installers, then checks each update before installing it.
-
Macroscopic Chemistry, Without the Atoms
An interactive concept reader that presents Merrill Sanders’ chemistry framework through assumptions, typed relationships, guided journeys, and a 50-module course.
-
Mahjong Mate(s): The Ledger That Remembers Every Deal-In
A private mahjong group’s season ledger, tracking standings, players, matches, winning hands, and house rules under Hong Kong rules.
-
mamemochi studio makes small internet pleasures
A personal Japanese studio collecting seven small web apps, games, and character projects.
-
MapMeasure Turns Map Outlines Into Estimates
A browser-based mapping tool for measuring land, roofs, fields, distances, radii, and perimeters, then estimating costs from the results.
-
Martina Mareková, One Woman, Many Crafts
A Slovak creative portfolio spanning slow fashion, interiors, food self-sufficiency, community projects, education, and project management.
-
Martyn's Law Check
A four-question checker for UK venues and events assessing whether the Terrorism (Protection of Premises) Act 2025 applies, which tier they fall into, and what duties may follow.
-
Ma 'sta Creta?
A four-person Crete trip headquarters combining flight and villa logistics, day-by-day itineraries, beaches, tavernas, and a satellite fire-monitoring panel.
-
MC Build Planner, Block by Block
A free Minecraft blueprint tool for planning circles, ovals, spheres, domes, and other large builds.
-
Road to Doomsday: A 54-Title Marvel Watch Tracker
A fan-made tracker for watching the MCU, selected Disney+ series, Fox X-Men films, and Deadpool and Wolverine titles before Avengers: Doomsday.