Open source

Everything we
have put in the open

27 public repositories across velofy and anishfyi. The flagship three are where the research lives. Everything else is a tool we needed and decided not to keep to ourselves.

Flagship

The three the lab is built around. summit.js and experentia are the research; ui-atlas is the evidence they run on.

01

summit.js

TypeScript 3★ Velofy

Alpine's HTML-first ergonomics, pushed further where it counts. Behaviour is composed directly in HTML attributes on a fine-grained signal engine, so a change updates only the DOM that read the value that changed. Expressions run through a hand-written interpreter instead of new Function, so a strict Content Security Policy works with no build step and no unsafe-eval. About 16KB gzipped with keyed lists, transitions, a component library and TypeScript types included. Built so an AI agent can write a working frontend on the first try.

velofy.github.io/summitjs
02

experentia

HTML Velofy

Design taste is usually vibes, which means an agent cannot act on it. experentia turns it into evidence: design rules carrying the shipped examples that justify them, machine-readable taste profiles an agent reads alongside the code, and reference templates that have been verified rather than asserted. The open research question is whether taste can be encoded well enough that a machine produces work a human would sign.

velofy.github.io/experentia
03

ui-atlas

HTML Velofy

Production-grade frontend references built to be read by agents and people alike. Where experentia holds the rules, ui-atlas holds the worked examples: real interface patterns, complete enough to copy, annotated with why each decision was made rather than just what it was.

velofy.github.io/ui-atlas

Engines and libraries

The hand-written pieces other things are built on.

glep

Rust 1★

Grep rescans the whole tree on every query. glep indexes it once and answers the next hundred searches against that index, with a time-to-live so an exploration burst shares one index. Ships a Cursor hook that denies the built-in Grep and Glob tools when a .glep/ index exists.

terbium

Python 1★

Business documents in, clean rows out. Rebuilds table structure from the geometry of every word, scores each record 0 to 1 on grid regularity, header presence and fill, and escalates only the pages below threshold to a model tier.

curl_reap

Python 2★

A stock HTTP client announces itself in the TLS handshake, which is why a crawler gets a 403 where a browser does not. Browser-grade impersonation, self-healing selectors, structured extraction, and a hand-written concurrent crawl engine.

Agents and harnesses

Tools for making coding agents useful, cheap and safe.

querion

Python 1★

A strictly read-only natural-language data analyst. A SQL firewall and auto-blocklist make mutation structurally impossible, so non-technical staff can point it at production.

trove

Rust 1★

A file-based semantic layer a coding agent builds as it works and reloads every session, so each session starts further ahead than the last.

numera

Shell

An open-source accounting AI you run locally. Deterministic host, model only for the residue, accepted answers persisted as rules.

Android and macOS

Native apps, mostly built to scratch our own itch.

BLOKD

Kotlin 1★

No-root Android ad and tracker blocker. Local DNS filtering across every app.

aperture-vpn

Kotlin

Free OpenVPN-based Android VPN with best-server auto-connect and AdGuard DNS.

vaulty

Swift

A transparent work-in-progress screen lock for macOS. Terminals stay live.

mac-uninstaller

Swift

Fully uninstall macOS apps and their leftovers. Trash-only, SwiftUI.

agamemnon

Swift

Live token burn across Kimi, Cursor CLI and Claude Code, in the menu bar.

pawse

JavaScript

The pomeranian that makes you take breaks.

Reference and play

Things built to be read.

backend-almanac

JavaScript

43 backend frameworks compared on setup, deploy, speed and Postgres, plus four migration guides.

classy-fonts

Python

A cabinet of 324 free typefaces with a live two-tab specimen gallery, split by licence.

first-principles

Working notes on things we wanted to understand from the ground up.

Earlier

Older work, kept public because it was real.

InventoryManagement

C++

Basic Project On Inventory Management

anishfyi

GitHub profile readme.

caller-id-api

Python

A REST API for a mobile app that allows users to identify callers and detect spam numbers, similar to popular caller ID applications.

coupon-management-api

Python

RESTful API to manage and apply different types of discount coupons.

github-repository-lister

JavaScript

A React-based tool that fetches and displays all repositories and their details for any GitHub user via the public GitHub API.

homebrew-tap

Ruby

homebrew tap for apps by anishfyi

open-source

HTML

Open source catalogue for velofy and anishfyi

qr-code

TypeScript

QR Code Generator built with React, TypeScript, and Vite

voicer-ai

Python

Deep voice AI learning project: research corpus + real-time voice agent pipeline (VAD -> ASR -> LLM -> TTS)