Build Better Websites. Create modern, resilient user experiences with web fundamentals.

An exabyte-scale, multi-region distributed file system

Code formatter for Lua

Conference talk about the feasibility of HTML+CSS-only apps

Litex is a simple formal language Learnable in 2 hours, not 1 year. It scales formal reasoning in AI era.

Experimental font and font editor, exports OTF.

Simple and efficient HTTP/1 load generator

Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol

Ultra-lightweight AI Agent

Systems language with linear types and capability-based security.

Easy web analytics. No tracking of personal data.

JavaScript-TypeScript module implementing binary fuse 8 filter for BigInt

𝗔𝗜-𝗡𝗮𝘁𝗶𝘃𝗲 𝗗𝗮𝘁𝗮 𝗪𝗮𝗿𝗲𝗵𝗼𝘂𝘀𝗲. Blazing analytics, fast search, geo insights, vector AI. Built for multimodal analytics, Open-source Snowflake alternative. https://databend.com

Next-generation full-text search library for Browser and Node.js

Git Based Memory Storage for Conversational AI Agent

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

JSON Web Token for redbean

HACL*, a formally verified cryptographic library written in F*

Fil-C: completely compatible memory safety for C and C++

TexLive programs bundled into a single static binary for x86_64-linux / WASM

MCP server for Lapis apps

Model Context Protocol SDK implemented in Lua for OpenResty

an open source geocoder for openstreetmap data

The glamourous AI coding agent for your favourite terminal 💘

Memory-efficient standalone server for bitmapist library

Next incarnation of bitmapist: powerful analytics and cohort library using Redis bitmaps

A distributed SQLite replicator built on top of NATS

Replicated Block Device backed by FoundationDB