MathVLT, a Pluralist Map for Lean Mathematics
MathVLT proposes infrastructure for turning Lean declarations into a source-preserving research graph of proofs, propositions, dependencies, explanations, and provenance.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
143,648 catalogue cards
-
-
Max Days Off Turns Public Holidays Into Long Breaks
A country-specific leave planner finds the longest consecutive breaks you can create from annual leave and statutory holidays.
-
The Melik Finkle Museum, a One-Artist Archive in Vermont
A Rochester, Vermont museum site presenting the life, sculpture, furniture, graphics, and industrial design of Romanian-born craftsman Melik Finkle.
-
MITERBOX, Where One Pair of Hands Builds the Whole Room
A Nampa, Idaho cabinetmaker offering handcrafted kitchens, built-ins, bunk beds, trim, and other custom carpentry for the Treasure Valley.
-
mmon Puts a Remote System Monitor in Your Terminal
mmon is an open-source, zero-configuration terminal monitor for Linux and Windows, covering CPU, memory, disks, ZFS, networking, GPUs, sensors, and JSON output.
-
MYCOLY: A Clinical Mycology Decision Bench
MYCOLY helps clinicians assess invasive fungal disease through syndromic inputs, laboratory trajectories, calculators, and a sourced conditions library.
-
NAGAPETIR, an Archive of Adventurers and Thunder
An Indonesian-language exhibition documenting the characters, lore, and campaign history of a Dungeons & Dragons tabletop world.
-
Naman Tekriwal, Making Waste Into Beer
A founder-operator’s personal site about turning surplus bread into craft beer, building founder communities, and helping early-stage entrepreneurs.
-
narrativeNews.dev — Six models. One briefing.
A daily news briefing that sends the same stories through six AI models and ranks the disagreements across geopolitics, markets, tech, and sports.
-
Nihar K T’s Systems-Programmer Quest Log
An interactive portfolio for a systems programmer and competitive coder working on chess engines, emulators, and other experimental software.
-
Nodu’s Prefab Panoramic Habitats
Nodu sells factory-built modular hotel units for camps, resorts, and remote hospitality, with nine models priced from $12,600.
-
NotebookLM Exporter Preserves the Shape of Your AI Study Material
A Chrome extension exports NotebookLM chats, quizzes, flashcards, and mind maps into formats including PDF, Word, PowerPoint, Google Forms, Anki, Quizlet, QTI, Markdown, and JSON.
-
NumisAcademy: Grading Coins Without the Mystery
A focused coin-grading quiz and learning site covering broad condition, the Sheldon scale, numismatic fundamentals, and mint-made errors.
-
Open Queries Looks Behind the AI Search Curtain
An open-source Chrome extension that shows web-search queries surfaced by ChatGPT, Claude, and Google AI Overviews, with optional estimates of their likely fan-out queries.
-
OralCapture Turns Dental Photos into a Practice Workflow
A German iPhone app for dental practices that guides patient-photo protocols, tracks consent, and routes images to practice-controlled storage.
-
Orkexto puts a security stack in one queue
Orkexto correlates findings from cloud, SIEM, EDR, and vulnerability tools into a prioritized incident queue.
-
大相撲ログ: A Working Archive of Japanese Sumo
A Japanese-language reference site covering wrestlers, bouts, rankings, tournament results, news, and how to attend sumo.
-
Peak Logic’s Pay-Per-Call AI Engineering Reviews
A set of 13 AI engineering review endpoints that return structured JSON for code, prompts, configurations, and RAG pipelines.
-
Pet Blanket Book Co. Turns Your Animal Into a Keepsake Story
A personalized gift shop that transforms pet photos into illustrated plush blankets, children's books, or a matching bundle.
-
PewLink Turns Church Pews into Digital Connection Points
A church engagement platform that uses NFC tags and QR codes to connect visitors and congregants with giving, prayer, events, pastoral contact, and other next steps.
-
Pitch Practice, a Browser Tuner for Singing the Right Note
A free microphone-based tool for singers and instrumentalists to match pitches, drill intervals and scales, practice phrases, or use a chromatic tuner.
-
Pour venger A.D.G.: a literary afterlife in links, books, and polemics
A French-language memorial and archive for writer A.D.G. (1947–2004), collecting his biography, novels, short stories, columns, poems, quotations, tributes, and published books.
-
Rabbitune Turns Songs Into Movie Nights
Rabbitune reads the mood, pace, and atmosphere of a song, then recommends six films to match it.
-
Rack Check: Three Diagnostics for Data Centers
A browser-based toolkit for 50–500 rack facilities, covering power and cooling capacity, commissioning readiness, and spare-parts exposure.