Pinned Loading

1. utopia utopia Public

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

   Rust 8

2. imltt_in_lean imltt_in_lean Public

   Forked from jreichle/master-thesis-code

   Lean 1

3. inference_in_lean inference_in_lean Public

   Proof of soundness for resolution in first-order logic.

   Lean 1

4. ChatCLM ChatCLM Public

   Best compression based generative large language model

   Rust 9

5. marjapussi-rs marjapussi-rs Public

   Rust implementation of the Finnish card game.

   Rust 1 1

6. marius-jacobs/fer-cvdl-practical marius-jacobs/fer-cvdl-practical Public

   Final project for our Computer Vision and Deep Learning Practical

   Python 5