adamtopaz's Stars
karpathy/build-nanogpt
Video+code lecture on building nanoGPT from scratch
karpathy/nanoGPT
The simplest, fastest repository for training/finetuning medium-sized GPTs.
melbaldove/llm.nvim
No frills LLM-assisted programming
facebookresearch/poincare-embeddings
PyTorch implementation of the NIPS-17 paper "Poincaré Embeddings for Learning Hierarchical Representations"
gordicaleksa/pytorch-GAT
My implementation of the original GAT paper (Veličković et al.). I've additionally included the playground.py file for visualizing the Cora dataset, GAT embeddings, an attention mechanism, and entropy histograms. I've supported both Cora (transductive) and PPI (inductive) examples!
facebookresearch/schedule_free
Schedule-Free Optimization in PyTorch
Julian/dotfiles
A work in progress. Forever.
rasbt/LLMs-from-scratch
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
johnma2006/mamba-minimal
Simple, minimal implementation of the Mamba SSM in one file of PyTorch.
dupuisf/BibtexQuery
A simple command-line bibtex query utility written in Lean 4
teorth/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
cpacker/MemGPT
Create LLM agents with long-term memory and custom tools 📚🦙
semorrison/lean-training-data
leanprover/lean4checker
Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.
tatsu-lab/stanford_alpaca
Code and documentation to train Stanford's Alpaca models, and generate the data.
wellecks/ntptutorial
Tutorial on neural theorem proving
spcl/graph-of-thoughts
Official Implementation of "Graph of Thoughts: Solving Elaborate Problems with Large Language Models"
0art0/lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
princeton-nlp/tree-of-thought-llm
[NeurIPS 2023] Tree of Thoughts: Deliberate Problem Solving with Large Language Models
ggerganov/llama.cpp
LLM inference in C/C++
leanprover/doc-gen4
Document Generator for Lean 4
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
brexhq/prompt-engineering
Tips and tricks for working with Large Language Models like OpenAI's GPT-4.
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
nichtdax/awesome-totally-open-chatgpt
A list of totally open alternatives to ChatGPT
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.
leanprover/lean4
Lean 4 programming language and theorem prover
leanprover-community/repl
A simple REPL for Lean 4, returning information about errors and sorries.
leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
mukulpatnaik/researchgpt
A LLM based research assistant that allows you to have a conversation with a research paper