dafny-synthesis

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.

21 Lessons, Get Started Building with Generative AI ? https://microsoft.github.io/generative-ai-for-beginners/

提取微信聊天记录，将其导出成HTML、Word、Excel文档永久保存，对聊天记录进行分析生成年度聊天报告，用聊天数据训练专属于个人的AI聊天助手

Learn how to design, develop, deploy and iterate on production-grade ML applications.

Finetune Llama 3.3, DeepSeek-R1 & Reasoning LLMs 2x faster with 70% less memory! ?

Self-hosted AI coding assistant

AI's query engine - Platform for building AI that can learn and answer questions over large scale federated data.

Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.

An open-source RAG-based tool for chatting with your documents.

LLM based autonomous agent that conducts deep local and web research on any topic and generates a long report with citations.