Stars
Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API（免费），ChatGPT国内可用免费转发API，直连无需代理。可以搭配ChatBox等软件/插件使用，极大降低接口使用成本。国内即可无限制畅快聊天。
Overview of tactics in Lean 4 for beginners — longer version
The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
JSON Hero is an open-source, beautiful JSON explorer for the web that lets you browse, search and navigate your JSON files at speed. 🚀. Built with 💜 by the Trigger.dev team.
Unified Efficient Fine-Tuning of 100+ LLMs (ACL 2024)
MiniCPM-V 2.6: A GPT-4V Level MLLM for Single Image, Multi Image and Video on Your Phone
MiniCPM3-4B: An edge-side LLM that surpasses GPT-3.5-Turbo.
AISystem 主要是指AI系统，包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术
This repo includes ChatGPT prompt curation to use ChatGPT better.
Universal and Transferable Attacks on Aligned Language Models
Bootstrap 4 & 5 helper for your Flask projects.
Example application for Flask tutorial "Flask 入门教程".
From scratch implementation of a sparse mixture of experts language model inspired by Andrej Karpathy's makemore :)
Faker is a Python package that generates fake data for you.
Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.
Official inference library for Mistral models
Lean 4 programming language and theorem prover
clash for windows汉化版. 提供clash for windows的汉化版, 汉化补丁及汉化版安装程序
Ongoing research training transformer models at scale
🚀 Awesome System for Machine Learning ⚡️ AI System Papers and Industry Practice. ⚡️ System for Machine Learning, LLM (Large Language Model), GenAI (Generative AI). 🍻 OSDI, NSDI, SIGCOMM, SoCC, MLSy…