amka66

amka66's Stars

• TalalAlrawajfeh/mathematics-roadmap

  A Comprehensive Roadmap to Mathematics

  2.6k228

• leanprover-community/lean4web

  The Lean 4 web editor

  Language:TypeScript7522

• amka66/dotfiles

  Dotfiles and configuration files for OS shells and dev tools

  Language:Shell1

• amka66/aklean

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

  Language:Makefile1

• leanprover/elan

  The Lean version manager

  Language:Rust33138

• amka66/akpy

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

  Language:Python1

• fish-shell/fish-shell

  The user-friendly command line shell.

  Language:Rust27.5k2k

• astral-sh/uv

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

  Language:Rust35.2k958

• zou-group/textgrad

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

  Language:Python2k170

• axolotl-ai-cloud/axolotl

  Go ahead and axolotl questions

  Language:Python8.3k909

• picklepete/pyicloud

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

  Language:Python2.6k457

• mandarons/icloudpy

  iCloud web service interface library in Python

  Language:Python21422

• mandarons/icloud-docker

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

  Language:Python1.3k50

• huggingface/cookbook

  Open-source AI cookbook

  Language:Jupyter Notebook1.8k263

• jesse-michael-han/lean-gptf

  Interactive neural theorem proving in Lean

  Language:Lean1186

• Significant-Gravitas/AutoGPT

  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.

  Language:Python170k44.8k

• ishnid/zotero-obsidian

  537

• pypa/pipx

  Install and Run Python Applications in Isolated Environments

  Language:Python10.9k431

• erdewit/nest_asyncio

  Patch asyncio to allow nested event loops

  Language:Python71581

• karpathy/nanoGPT

  The simplest, fastest repository for training/finetuning medium-sized GPTs.

  Language:Python38.4k6.2k

• jenkspt/gpt-jax

  Jax/Flax rewrite of Karpathy's nanoGPT

  Language:Python545

• explodinggradients/ragas

  Supercharge Your LLM Application Evaluations 🚀

  Language:Python7.8k791

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript22040

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean12738

• rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust18.7k1.7k

• openai/chatgpt-retrieval-plugin

  The ChatGPT Retrieval Plugin lets you easily find personal or work documents by asking questions in natural language.

  Language:Python21.1k3.7k

• dair-ai/Prompt-Engineering-Guide

  🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

  Language:MDX52.1k5k

• openai/tiktoken

  tiktoken is a fast BPE tokeniser for use with OpenAI's models.

  Language:Python13k899

• openai/openai-python

  The official Python library for the OpenAI API

  Language:Python23.9k3.4k

• dqxiu/ICL_PaperList

  Paper List for In-context Learning 🌷

  82859