Python SDK, Proxy Server (LLM Gateway) to call 100+ LLM APIs in OpenAI format - [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthropic, Sagemaker, HuggingFace, Replicate, Groq]

🦜🔗 Build context-aware reasoning applications

The math library of Lean 4

The user home repository for the Mathematics in Lean tutorial.

An open-source, lightweight note-taking solution. The pain-less way to create your meaningful notes. Your Notes, Your Way.

Obsidian Template for combining P.A.R.A with Periodic Notes(LifeOS for Obsidian)

LLM101n: Let's build a Storyteller

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

The OpenAI Model Spec

Train transformer language models with reinforcement learning.

For Application Inference Profiles with tags

A Comprehensive Roadmap to Mathematics

The Lean 4 web editor

Dotfiles and configuration files for OS shells and dev tools

A blueprint for Lean 4 projects including useful definitions and utilities for Lean development

The Lean version manager

A blueprint for Python projects including useful definitions and utilities for Python development

The user-friendly command line shell.

An extremely fast Python package and project manager, written in Rust.

TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients.

Go ahead and axolotl questions

A Python + iCloud wrapper to access iPhone and Calendar data.

iCloud web service interface library in Python

Dockerized iCloud Client - make a local copy of your iCloud documents and photos, and keep it automatically up-to-date.

Open-source AI cookbook

Interactive neural theorem proving in Lean

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Install and Run Python Applications in Isolated Environments