Pinned Loading

1. LeanGames LeanGames Public

   Play Lean 4 games locally on your computer.

   Lean

2. depccg depccg Public

   Forked from masashi-y/depccg

   A* CCG Parser with a Supertag and Dependency Factored Model

   Jsonnet

3. llama-cpp-python llama-cpp-python Public

   Forked from abetlen/llama-cpp-python

   Python bindings for llama.cpp

   Python

4. FastChat FastChat Public

   Forked from lm-sys/FastChat

   An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and FastChat-T5.

   Python