Projects in Awesome Lists by timbeurskens
A curated list of projects in awesome lists by timbeurskens .
https://github.com/timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
binary-decision-diagrams boolean-satisfiability np-complete sat-solver
Last synced: 09 May 2025
https://github.com/timbeurskens/Go-WFC
A Go wave-function-collapse port based on the C# WFC implementation.
algorithm go golang procedural-generation procedural-textures wfc
Last synced: 06 May 2025