Combinatorics
Showing 8 of 8 projects
A generic numerical library for D providing sparse tensors, linear algebra, and machine learning components.
A Go package that expands regular expressions into all possible matching strings.
A high-performance JavaScript library for computing cartesian products of arrays.
A Common Lisp library for permutations, permutation groups, and combinatorial specifications with ranking/unranking.
An Elixir library for generating combinations and permutations from enumerable collections.
A collection of formalized mathematical theories and algorithms extending the Mathematical Components library for Coq.
A certified solver for the 2x2 Rubik's Cube, formally verified in Coq.
A Go library and CLI tool for generating permutations, combinations, and combinations-with-replacement from slices.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.