An HTML pre-proces­sor for web ty­pog­ra­phy

Learning in infinite dimension with neural operators.

The matrix cookbook, proved in the Lean theorem prover

A programming language benchmark

Fast Desktop Switching Device

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.

Bringing copy-on-write semantics to PostgreSQL.

DSPy: The framework for programming—not prompting—language models

Focus on prompting and generating

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.

LLM as a Chatbot Service

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

Finetuning SD in style.

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