Jayce-Ping
An undergraduate student who is interested in mathematics, theoretical physics and programming
Jayce-Ping's Stars
langchain-ai/langchain
🦜🔗 Build context-aware reasoning applications
ollama/ollama
Get up and running with Llama 3.2, Mistral, Gemma 2, and other large language models.
nomic-ai/gpt4all
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
ggerganov/llama.cpp
LLM inference in C/C++
xtekky/gpt4free
The official gpt4free repository | various collection of powerful language models
meta-llama/llama
Inference code for Llama models
microsoft/autogen
A programming framework for agentic AI 🤖
aosabook/500lines
500 Lines or Less
ml-explore/mlx
MLX: An array framework for Apple silicon
KindXiaoming/pykan
Kolmogorov Arnold Networks
LlamaFamily/Llama-Chinese
Llama中文社区,Llama3在线体验和微调模型已开放,实时汇总最新Llama3学习资料,已将所有代码更新适配Llama3,构建最好的中文Llama大模型,完全开源可商用
abetlen/llama-cpp-python
Python bindings for llama.cpp
3b1b/videos
Code for the manim-generated scenes used in 3blue1brown videos
ml-explore/mlx-examples
Examples in the MLX framework
xorbitsai/inference
Replace OpenAI GPT with another LLM in your app by changing a single line of code. Xinference gives you the freedom to use any LLM you need. With Xinference, you're empowered to run inference with any open-source language models, speech recognition models, and multimodal models, whether in the cloud, on-premises, or even on your laptop.
leanprover/lean4
Lean 4 programming language and theorem prover
google-deepmind/alphageometry
baichuan-inc/Baichuan2
A series of large language models developed by Baichuan Intelligent Technology
google-research/timesfm
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.
linyiLYi/bilibot
A local chatbot fine-tuned by bilibili user comments.
DSXiangLi/DecryptPrompt
总结Prompt&LLM论文,开源数据&模型,AIGC应用
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
LehengTHU/Agent4Rec
[SIGIR 2024 perspective] The implementation of paper "On Generative Agents in Recommendation"
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
asaparov/prontoqa
Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
princeton-vl/MetaQNL
Learning Symbolic Rules for Reasoning in Quasi-Natural Language: https://arxiv.org/abs/2111.12038
Jingciii/PPT_temp_XJTU
XJTU 毕设答辩tex模板
Radiance-nt/XJTU_BachelorThesis_DagRank
西安交通大学, xjtu, 计算机科学与技术, cs, 本科毕业设计模板, latex
sswun/Design-of-Simple-Python-UAV-Env
Simple Python drone environment design, suitable for some simple drone task planning, reinforcement learning, etc