Testimony: Formal Theology in Lean
A Lean 4 library that turns biblical arguments into machine-checkable structures with explicit, sourced premises.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
129,933 catalogue cards
-
-
ThatCall, a Cantonese team dialer with a very specific job
ThatCall is an Android-based autodialer that works through employees’ own SIM cards, handing each answered call to a team member while a web dashboard manages lists, accounts, and results.
-
The Algarve Monday, written from Praia da Luz
A weekly Western Algarve guide covering local news, events, food, beaches, Portuguese life, and community submissions.
-
The Bandeja Lab: a daily padel decision puzzle
An interactive padel-training site presents one on-court position, several shot choices, and level-specific reasoning.
-
Coppice's x402 Conformance Monitor
An independent monitor tests live x402 payment endpoints on Solana and Base for rejection behavior and their ability to receive funds.
-
THE END? asks the questions films leave behind
A film-conversation site turns endings into moral questions and collects responses from viewers around the world.
-
The Static Wire, a paranormal news desk with receipts
A sourced publication covering UAP, cryptids, hauntings, fringe science, missing-person mysteries, and strange events.
-
The Stat Method Shows Its Health Math
A set of health, fitness, and nutrition calculators that exposes its equations, assumptions, sources, and estimated error ranges.
-
Tinkr, the LINE assistant for interior-design projects
A project assistant that organizes client and contractor conversations in existing LINE groups, then privately flags decisions that need an interior designer’s reply.
-
Tiecount: Wrestling, Broken Into First Steps
A browser-based wrestling practice system with 36 solo studies, 12 timed boards, and a room clock for drilling movement at home.
-
TIMBR Field: the arborist app that refuses to lose a tree in the camera roll
A mobile inspection tool for Australian consulting arborists that records tree assessments offline and syncs them to the consultancy’s own Microsoft 365 and SharePoint.
-
TinyKPI Puts Your Business in the MacBook Notch
A native macOS dashboard for keeping revenue, traffic, product, and customer metrics visible in a compact, customizable notch interface.
-
Tobien Turns Your Own Books Into Language Lessons
A language-learning app that uses contextual AI to help readers understand books in six languages.
-
Tolanu puts the rule beneath the answer
A Spanish-language collection of practical calculators for rent, traffic, work, pools, pets, cooking, home projects, and more.
-
Take Control, Then Pass It On
A traveling-book experiment sends 500 tracked copies of Take Control from reader to reader.
-
Torchis Haut Reads the Missing Rectangles
A Colmar atelier devoted to reading the clay, straw, and timber infill of Alsace and Normandy half-timbered houses.
-
TorqSmith: Fanatec Tuning on a Mac
An open-source macOS utility for reading and changing Fanatec wheel-base settings without a Windows PC or Fanatec’s software.
-
TRACEKEEPERS turns prehistory into a connected museum and game
A free historical museum platform links exhibit records, character relationships, maps, and an in-development browser game.
-
Trailhead Circle Keeps the Boring Details of Barcelona Walks
A Barcelona walking collective documents weekend routes through Catalonia and the Pyrenees, including train timings, water points, elevation, shade, and turnaround rules.
-
Treemulator: A Forest Stewardship Map for the Long Haul
A browser-based field tool for mapping tree-protection areas, recording their materials, and scheduling the eventual collection of protective tubes.
-
Nära, the two-minute call for a parent who lives alone
Nära calls a parent each morning, asks about medicines and the day ahead, then sends a one-line summary to a relative.
-
Typelesson’s 86-language typing studio
A free touch-typing practice site offering guided lessons, speed tests, games, and keyboard guidance across 86 languages and 24 writing systems.
-
The Uganda AI Scorecard
An independent tracker comparing Uganda’s artificial-intelligence commitments with what has actually been delivered and publicly documented.
-
No HGV Park at Great Hollanden
A focused village campaign explains how to object to a planning application for storage, distribution, or light industrial use at a farm in Underriver.