Projects in Awesome Lists tagged with normal-forms
A curated list of projects in awesome lists tagged with normal-forms .
https://github.com/d3lph1/boollet
Boolean algebra toolkit for PHP
boolean-algebra normal-forms sat sat-solver truth-table zhegalkin-polynomial
Last synced: 17 Mar 2026
https://github.com/solidmvc/general-information
General Information
architect bcnf bcnf-database-structure coding coding-standards cross-platform micro-framework normal-forms psr-2 psr-4 semver unicode-cldr wordpress wordpress-plugins
Last synced: 17 Mar 2025
https://github.com/inaciovasquez2020/urf-prefab-system
URF Prefab System — canonical prefab constructions and normal forms for the Unified Rigidity Framework, enabling reproducible instantiation of certified rigidity results.
canonical-forms formal-methods formal-verification normal-forms prefab-system reproducible-research rigidity-theory unified-rigidity-framework
Last synced: 04 Apr 2026
https://github.com/obsidiansystems/unicode-normal-forms
NFKC normalization for ghcjs and ghc
ghcjs haskell javascript normal-forms unicode
Last synced: 11 Jun 2025
