N Queens problem resolution using oxigen.
Fast Downward planner parameters optimization using oxigen.
Knapsack problem resolution using oxigen.
OneMax simple problem resolution using oxigen.
Fast, parallel, extensible and adaptable genetic algorithm library.
miniKanren as 1-bit matrix operations - hardware-accelerated logic programming with SIMD, GPU, and FPGA support. Includes Sudoku solver (14μs), N-Queens, constraint propagation.
A differentiable programming language with tensor support for machine learning
Rust bindings for the Lace work-stealing framework for multi-core fork-join parallelism
Build-time code generator for lace-native task definitions
Constraint Satisfaction Problem (CSP) solver
Constraint Satisfaction Problem (CSP) solver
Space-efficient, row-major 2D bitset matrix with fast bitwise ops