Weaviate is an open-source vector database that stores both objects and vectors, allowing for the combination of vector search with structured filtering with the fault tolerance and scalability of …

The financial transactions database designed for mission critical safety and performance.

The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

Langflow is a powerful tool for building and deploying AI-powered agents and workflows.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Lean 4 programming language and theorem prover

For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

You like pytorch? You like micrograd? You love tinygrad! ❤️

Build AI Agents, Visually

An operating function

Json Schema Type Builder with Static Type Resolution for TypeScript

Convert documents to structured data effortlessly. Unstructured is open-source ETL solution for transforming complex documents into clean, structured formats for language models. Visit our website …

The seL4 microkernel

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Top-level repository for the ACT EDA flow

Open-source Next.js adapter for AWS

The definitive Web UI for local AI, with powerful features and easy setup.

Container to WASM converter

Rich-text editor with AI, MCP, and shadcn/ui

RISC-V Formal Verification Framework

A collaborative bibliography of work related to the theory and practice of computational effects

ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its go…

A modular and extensible networking stack which solves many challenges of peer-to-peer applications.

📦 Repomix is a powerful tool that packs your entire repository into a single, AI-friendly file. Perfect for when you need to feed your codebase to Large Language Models (LLMs) or other AI tools lik…

A (nearly) seamless integration of ChatGPT into Obsidian.

🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

ACT hardware description language and core tools.

A port of Coq to Javascript -- Run Coq in your Browser

Shadcn table with server-side sorting, filtering, and pagination.

A rich text editor React component for markdown