Popular repositories

1. coq-of-rust coq-of-rust Public

   Forked from formal-land/coq-of-rust

   Formal verification for Rust 🦀 by translation to Coq 🐓

   Coq

2. book book Public

   Forked from rust-lang/book

   The Rust Programming Language

   Rust

3. gpt4all gpt4all Public

   Forked from nomic-ai/gpt4all

   gpt4all: an ecosystem of open-source chatbots trained on a massive collections of clean assistant data including code, stories and dialogue

   Python

4. Auto-GPT Auto-GPT Public

   Forked from Significant-Gravitas/AutoGPT

   An experimental open-source attempt to make GPT-4 fully autonomous.

   Python

5. llama.cpp llama.cpp Public

   Forked from ggerganov/llama.cpp

   Port of Facebook's LLaMA model in C/C++

   C

6. alpaca-lora alpaca-lora Public

   Forked from tloen/alpaca-lora

   Instruct-tune LLaMA on consumer hardware

   Jupyter Notebook