SamuelLess

Pinned Repositories

fer-cvdl-practical
Final project for our Computer Vision and Deep Learning Practical
Language:Python50
ChatCLM
Best compression based generative large language model
Language:Rust90
dice-game-optimizing
Vergleich von verschiedenen Optimierungsalgorithmen für ein einfaches Würfelspiel.
Language:Python10
marjapussi
Implementation of the infamous card game.
Language:Python32
splr
A modern CDCL SAT solver in Rust
Language:Rust00
utopia
A modern and easy to read CDCL SAT solver written in Rust.
Language:Rust50

SamuelLess's Repositories

SamuelLess/ChatCLM
Best compression based generative large language model
Language:Rust90
SamuelLess/utopia
A modern and easy to read CDCL SAT solver written in Rust.
Language:Rust50
SamuelLess/marjapussi
Implementation of the infamous card game.
Language:Python32
SamuelLess/dice-game-optimizing
Vergleich von verschiedenen Optimierungsalgorithmen für ein einfaches Würfelspiel.
Language:Python10
SamuelLess/splr
A modern CDCL SAT solver in Rust
Language:Rust00