a smol tcp/ip stack

A high-performance immutable mapping type for Python.

Open source video conferencing app built on LiveKit Components, LiveKit Cloud, and Next.js.

wazero: the zero dependency WebAssembly runtime for Go developers

The best ChatGPT that $100 can buy.

⬛️ Lightweight and modern terminal animations using async/await

Lean Theorem Prover MCP

Convert Any OpenAPI V3 API to MCP Server

A runtime-free MCP server that converts source code into AST🌲, regardless of language.

The official Python client library for Gel

🍪 Simple cross-browser cookie-consent plugin written in vanilla js

A natural language interface for computers

The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.

Get your documents ready for gen AI

Convert an AI Agent into a A2A server! ✨

The toolkit to pack, ship, store, and deliver container content

Welcome to the FEDERATE Building Block (BB) Repository! This repository contains structured descriptions of Building Blocks (BBs) that are essential for developing, operating, and evolving Software…

React UI + elegant infrastructure for AI Copilots, AI chatbots, and in-app AI agents. The Agentic last-mile 🪁

Partial and Full Synchronization Library for NDN

A minimal development of SSA theory

NDN-RTC Conferencing Library

blazigly fast gRPC client & server implementation in zig

A distributed go-datastore implementation using Merkle-CRDTs.

The glamourous AI coding agent for your favourite terminal 💘

Concise data definition language (RFC 8610) implementation and JSON and CBOR validator in Rust

Simple responsive charts

A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.

Zig bindings and build system for https://github.com/wasm3/wasm3

Automatic verification of LLVM optimizations

A verification toolchain for Rust programs