Projects in Awesome Lists tagged with reductions
A curated list of projects in awesome lists tagged with reductions .
https://github.com/computational-problem-solving/sat
:satisfied: Boolean formula satisfiability algorithms for JavaScript
agpl algorithms computer-science javascript k-sat np-complete reductions sat-solver sat0w
Last synced: 11 Apr 2025
https://github.com/jeffhammond/kahanmpi
Implementation of Kahan summation for MPI reductions
floating-point mpi mpi-library reductions
Last synced: 26 Mar 2025
https://github.com/masterskepticista/parallel_reductions_cuda
Iteratively optimizing parallel reductions in CUDA.
Last synced: 26 Feb 2025
https://github.com/computational-problem-solving/js-2sat
:satisfied: 2-Satisfiability library for JavaScript
2-sat agpl algorithms computer-science graphs javascript polynomial-time reductions sat-solver
Last synced: 26 Feb 2025