Stars
A machine learning software for extracting information from scholarly documents
A collection of resources for learning type theory and type theory adjacent fields.
This is the companion repository for the book How Query Engines Work.
Lean 4 programming language and theorem prover
Deep learning in Rust, with shape checked tensors and neural networks
bulletty is a pretty feed reader for the terminal that stores the articles as Markdown
Get your documents ready for gen AI
Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.
All-in-one LLM CLI tool featuring Shell Assistant, Chat-REPL, RAG, AI Tools & Agents, with access to OpenAI, Claude, Gemini, Ollama, Groq, and more.
A high-performance observability data pipeline.
🦀 A curated list of Rust tools, libraries, and frameworks for working with LLMs, GPT, AI
Get 10X more out of Claude Code, Codex or any coding agent
An open source SDK for logging, storing, querying, and visualizing multimodal and multi-rate data
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
The official Rust SDK for the Model Context Protocol
Context engineering is the new vibe coding - it's the way to actually make AI coding assistants work. Claude Code is the best for this so that's what this repo is centered around, but you can apply…
🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/jP8KfhDhyN
Plugin to improve viewing Markdown files in Neovim
A curated list of TUI apps and libraries built with Ratatui