Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by shnarazk
A curated list of projects in awesome lists by shnarazk .
https://github.com/shnarazk/splr
A modern CDCL SAT solver in Rust
cdcl nix-flake rust sat-solver satisfiability
Last synced: 03 Aug 2024
https://github.com/shnarazk/SAT-bench
A benchmark suit for SAT solvers
benchmarking matrix-org nix-flake rust sat-solver
Last synced: 03 Aug 2024
https://github.com/shnarazk/sudoku_sat
Solving Sudoku variants with SAT solvers
rust sat-solver satisfiability sudoku
Last synced: 03 Aug 2024
https://github.com/shnarazk/nhk_now
An GUI application to show NHK broadcasting program
Last synced: 24 Oct 2024
https://github.com/shnarazk/aocvisualizer
Visualize AoC problems in Pharo/Roassal (not solutions nor solving processes)
advent-of-code pharo visualization
Last synced: 31 Oct 2024