Popular repositories Loading

1. noperts noperts Public

   Reproducible nopert proofs

   Lean 13

2. Stockfish Stockfish Public

   Forked from official-stockfish/Stockfish

   UCI chess engine

   C++ 1

3. tinyexr tinyexr Public

   Forked from syoyo/tinyexr

   Tiny OpenEXR image loader/saver library

   C++ 1

4. llama.cpp llama.cpp Public

   Forked from ggml-org/llama.cpp

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

   C++ 1

5. HiGHS HiGHS Public

   Forked from ERGO-Code/HiGHS

   Linear optimization software

   C++ 1

6. chords-db chords-db Public

   Forked from tombatossals/chords-db

   String Instruments Chords Database

   JavaScript