Projects
A selection of research tools, open source projects, and civic tech initiatives.
Things you can use
Live and hosted. These open in a browser — nothing to check out or run.
Kana Derivation Chart
kana.gfrm.in
An interactive map of how Japan's two phonetic alphabets grew out of kanji. All 46 basic syllables sit in a grid by consonant and vowel, colour-coded by script; click any cell to trace both descents from the shared source character — the cursive simplification that produced hiragana and the component extraction that produced katakana — with notes on archaic kana and the voiced dakuten variants. React and Vite, hosted on Cloudflare Pages.
docaviv+
docavivplus.gfrm.in
A faster, phone-friendly way to browse the Tel Aviv International Documentary Film Festival than its official site. Bilingual Hebrew/English with full RTL, fuzzy search, a day-by-day schedule grid, and direct per-screening ticket links. Built as a static Astro site fed by the festival's WordPress API, with a small cheerio scraper that recovers the synopses, runtimes, trailers, and ticket URLs that exist only in the rendered HTML. Hosted on Cloudflare Pages.
accessinfo.hk
Hong Kong's Freedom of Information platform: citizens file requests to government bodies and track the replies in the open. Every exchange stays on the public record, accreting a searchable archive of what officials will and won't disclose. Built on Alaveteli.
Webb Data
webbsite.renavon.com
An open archive of 35 years of Hong Kong corporate data — directors, board memberships, CCASS shareholdings, and company-registry filings — cross-linked so you can follow who sits on which boards and who owns what. Corporate transparency as a queryable dataset.
GTD Lite Bot
t.me/gtdlitebot
A live, hosted instance of Jarvis Lite — open it in Telegram and try it without deploying anything yourself.
Code
Repositories to read or run yourself.
proplang
gfrmin/proplang
A small language built on one claim: an adaptive Bayesian decision-theoretic agent needs no adaptation machinery. If hypotheses are programs and the prior is 2^-|program| under a grammar, then adaptivity, bounded rationality, and inductive bias stop being modules and become posterior dynamics — so the alphabet of the language is the prior, and the design method is to delete every terminal whose removal costs no capability. Ten terminals survived an executed deletion audit; one failed its own proof and is recorded as a standing bug rather than quietly kept. The repository is a closed, frozen artifact: the acceptance tests were written and cryptographically signed before any implementation existed, and the reference implementation and its Haskell port were built against that frozen oracle by an agent that could not change the tests. Python and Haskell.
Credence
gfrmin/credence
A Bayesian agent framework that treats tool selection as a decision problem rather than a prompt-engineering one. It keeps a Beta posterior over each tool's reliability and, before every call, computes the expected value of the information that call would buy — acting only when the expected utility justifies it. On a tool-use benchmark it scored +112 against LangChain ReAct's -8 while answering fewer questions correctly: the accuracy paradox, where knowing more answers is not the same as knowing which answers are worth finding. The predecessor to proplang, which cornered its foundation. Python, NumPy, and SciPy.
life-agent
gfrmin/life-agent
The composition root for a personal life-management agent — an assistant that remembers your whole digital life, reasons under uncertainty, and acts across your tools. It reinvents nothing: every capability is wired in as an MCP server, so memory (pkm), the Bayesian governor (credence-pi), the agent runtime (pi-mono), and GTD tasks (jarvis-lite) compose into a single application, leaving the interface a swappable detail. Ask a question and it answers from your own corpus, with citations — and nothing personal ever enters the repo. TypeScript over a polyglot TS/Python/Julia stack.
credence-pi
gfrmin/credence
A Bayesian governance layer that decides which of a coding agent's tool calls to allow, block, or pause for human approval — and learns where the line sits from the agent's own behaviour. The design splits into a body and a brain: a TypeScript body hooks the agent's tool_call event and reports a handful of declared features, while a Julia brain holds a Beta posterior over P(approve) and chooses an action by expected value of information, so asking the human wins exactly when the uncertainty is worth the interruption. The wire between them carries only observations and named actions, leaving the brain free to grow more sophisticated without the body ever needing to change. Julia (BDSL) and TypeScript.
pkm
gfrmin/life-agent
A content-addressed extraction cache and catalogue for personal knowledge management. It ingests documents, routes each through a format-appropriate extractor — pandoc, docling, unstructured — and writes the results to an append-only content-addressed store indexed by DuckDB. Cache keys are derived deterministically from the input hash and the producer's name, version, and config, so re-running is a no-op and every artifact stays reproducible and reconstructible. Python; the retrieval substrate beneath life-agent, now developed inside the life-agent monorepo as src/pkm.
Scalibur
gfrmin/scalibur
A Python tool that frees your weight data from cheap Bluetooth bathroom scales. It reverse-engineers the BLE protocol, reads the raw impedance measurement, and derives the body-fat, muscle-mass, and metabolic figures the vendor app keeps behind its own walls — built to sit on a Raspberry Pi and log every weigh-in automatically.
Jarvis Lite
gfrmin/jarvis-lite
A Getting Things Done bot for Telegram that accepts tasks in plain language. Claude Haiku reads the intent, PostgreSQL holds the list, and APScheduler sends a daily digest by email. Self-hostable, with nothing to install.
bayesian-agent
gfrmin/bayesian-agent
A simulation framework for agents that learn to navigate an unknown environment by reasoning about their own uncertainty. It pairs Bayesian inference with Thompson sampling to balance exploration against exploitation — a compact demonstration of online probabilistic learning.