A lightweight Database GUI in your browser. It supports connecting to Postgres, MySQL, and SQLite.

A lightweight task engine for building stateful AI agents that prioritizes simplicity and flexibility.

Scan for React performance issues and eliminate slow renders in your app

Scalable and Performant Data Loading

Agent Framework / shim to use Pydantic with LLMs

🚀🎉📚 SaaS Boilerplate built with Next.js + Tailwind CSS + Shadcn UI + TypeScript. ⚡️ Full-stack React application with Auth, Multi-tenancy, Roles & Permissions, i18n, Landing Page, DB, Logging, Testing

When RAG and agents fall in love

Model Context Protocol Servers

The official implementation of MARS: Unleashing the Power of Variance Reduction for Training Large Models

Efficient, Flexible and Portable Structured Generation

Official repository for the Boltz-1 biomolecular interaction model

🦆 fast duckdb bindings for bun runtime

Generate types and converters from JSON, Schema, and GraphQL

Converts JSON objects or file to simple Zod schemas

TypeScript-first schema validation with static type inference

This is the offical codebase to reproduce and use EVOLVEpro, a model for in silico directed evolution of protein activities using few-shot active learning.

Official repository for LTX-Video

LLM-powered multiagent persona simulation for imagination enhancement and business insights.

NanoGPT (124M) quality in 2.67B tokens

Iceberg/Delta Columnstore Table in Postgres

Hydra: Column-oriented Postgres. Add scalable analytics to your project in minutes.

The TypeScript AI framework.

Official repository of "SAMURAI: Adapting Segment Anything Model for Zero-Shot Visual Tracking with Motion-Aware Memory"

This repository includes the official implementation of OpenScholar: Synthesizing Scientific Literature with Retrieval-augmented LMs.

Interaction-first method for generating demonstrations for web-agents on any website

Desktop app for prototyping and debugging LangGraph applications locally.

An introduction to theorem proving in Lean for the impatient.

Lean 4 programming language and theorem prover