A standard interface for TypeScript schema validation libraries

JavaScript/TypeScript-native, low-boilerplate, object-capability RPC system

Static low-bandwidth search at scale

An open-source AI agent that brings the power of Gemini directly into your terminal.

Simple microKanren implementation in Idris.

A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.

A starter template to build lightning fast websites with Ghost & Gatsby

💎 Amber the programming language compiled to Bash

Smalltalk development in your browser and Node.js

GitHub Pages website for my es-search-references project

An implementation of ECMA-262 in JavaScript

Zotero plugin providing some additional editing features

A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

Kani Rust Verifier

ECMAScript verification with SMT solvers

Open Location Code is a library to generate short codes, called "plus codes", that can be used as digital addresses where street addresses don't exist.

This command line converts .eml file to .epub

Query anything (GitHub, Notion, +40 more) with SQL and let LLMs (ChatGPT, Claude) connect to using MCP

Index your Gmail account to a SQLite DB and play with the data.

git commit --fixup, but automatic

Facilities for async programming and communication in Clojure

A simple comic viewer for Dilbert by Scott Adams

Tide - TypeScript Interactive Development Environment for Emacs

The JavaScript / Wasm runtime that powers Cloudflare Workers

⚡ KCP - A Fast and Reliable ARQ Protocol

HTML5 Wayland compositor 🌱

Guix channel providing tailscale, tailscaled, and tailscale-service-type

Bencode & bdecode in your browser