Pinned Loading

1. utopia utopia Public

   A modern and easy to read CDCL SAT solver written in Rust.

   Rust 6

2. revqx/fer-cvdl-practical revqx/fer-cvdl-practical Public

   Final project for our Computer Vision and Deep Learning Practical

   Python 5

3. inference_in_lean inference_in_lean Public

   Proof of soundness for resolution in first-order logic.

   Lean

4. marjapussi-rs marjapussi-rs Public

   Rust implementation of the Finnish card game.

   Rust

5. ChatCLM ChatCLM Public

   Best compression based generative large language model

   Rust 9