Stars
An HTML pre-processor for web typography
Learning in infinite dimension with neural operators.
The matrix cookbook, proved in the Lean theorem prover
LLMs as Copilots for Theorem Proving in Lean
Kandinsky 2 — multilingual text2image latent diffusion model
aider is AI pair programming in your terminal
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
DSPy: The framework for programming—not prompting—language models
Dromedary: towards helpful, ethical and reliable LLMs.
An easy to use, cross platform, GUI library for writing Haskell applications.
Official implementation for "Automatic Chain of Thought Prompting in Large Language Models" (stay tuned & more will be updated)
RWKV (pronounced RwaKuv) is an RNN with great LLM performance, which can also be directly trained like a GPT transformer (parallelizable). We are at RWKV-7 "Goose". So it's combining the best of RN…
ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.
Code and documentation to train Stanford's Alpaca models, and generate the data.
Be great at emacs in one year
JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf
Instruct-tune LLaMA on consumer hardware
An automated bot for the coding game Screeps.com
This repository is for saving pinned snippets from the screeps slack for posterity