Open-source vector similarity search for Postgres

Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

Implementation of the Google Zero-Knowledge library for Identity Protocols.

LlamaIndex is the leading framework for building LLM-powered agents over your data.

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Websockify is a WebSocket to TCP proxy/bridge. This allows a browser to connect to any application/server/service.

NPM Modules for proving and verifying using TLSNotary in the browser

Rust implementation of the TLSNotary protocol

GenAI Agent Framework, the Pydantic way

A Go implementation of the Model Context Protocol (MCP), enabling seamless integration between LLM applications and external data sources and tools.

🦜🔗 The platform for reliable agents.

A curated list of awesome things related to learning and programming in Noir.

ZerePy an open-source framework for AI agents written in Python

A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

Noname: a programming language to write zkapps