Popular repositories Loading

1. ChatCLM ChatCLM Public

   Best compression based generative large language model

   Rust 9

2. utopia utopia Public

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

   Rust 5

3. marjapussi marjapussi Public

   Implementation of the infamous card game.

   Python 3 2

4. dice-game-optimizing dice-game-optimizing Public

   Vergleich von verschiedenen Optimierungsalgorithmen für ein einfaches Würfelspiel.

   Python 1

5. splr splr Public

   Forked from shnarazk/splr

   A modern CDCL SAT solver in Rust

   Rust

6. haskell-language-server haskell-language-server Public

   Forked from haskell/haskell-language-server

   Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

   Haskell