Popular repositories Loading

1. 2048 2048 Public

   Forked from gabrielecirulli/2048

   A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

   CSS

2. Stim Stim Public

   Forked from SamMakesThings/Stim

   Experimental agent designed to take arbitrary inputs and prioritize between them in a live context

   TypeScript

3. localGPT localGPT Public

   Forked from PromtEngineer/localGPT

   Chat with your documents on your local device using GPT models. No data leaves your device and 100% private.

   Python

4. pytorch pytorch Public

   Forked from pytorch/pytorch

   Tensors and Dynamic neural networks in Python with strong GPU acceleration

   Python

5. lean-gym lean-gym Public

   Forked from openai/lean-gym

   Lean

6. docker-lean4 docker-lean4 Public

   Dockerfile