normal-forms

There are 0 repository under normal-forms topic.

ptarau / TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
intuitionistic-logic theorem-prover type-inference curry-howard-isomorphism prolog lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation beta-reduction all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms
Language:Prolog 31
Bharati2301 / Online-Voting-System-using-Python-and-MySQL
python mysql erdiagram normal-forms database-management online-voting-system
Language:Python 26
D3lph1 / Boollet
Boolean algebra toolkit for PHP
boolean-algebra sat sat-solver normal-forms zhegalkin-polynomial truth-table
Language:PHP 4
OganyanRV / Lambda-calculus-interpreter
beta-reduction de-bruijn-notation lambda-calculus lambda-calculus-interpreter lambda-terms normal-forms reduction reduction-strategies
Language:Jupyter Notebook 3
pratikwatwani / Cloud-Data-Warehousing-with-IaC-DevOps
Building an ETL pipeline🔀 that extracts data from AWS S3 🗑 stages them in Redshift 🗄🗄 and transforms data into a set of dimensional tables for the analytics team.
aws boto3 data-normalization data-warehouse database datawarehouse etl etl-pipeline normal-forms python redshift s3
Language:Jupyter Notebook 1
SolidMVC / general-information
General Information
coding coding-standards psr-2 psr-4 semver bcnf normal-forms wordpress micro-framework architect unicode-cldr cross-platform bcnf-database-structure wordpress-plugins
Language:PHP 1
obsidiansystems / unicode-normal-forms
NFKC normalization for ghcjs and ghc
haskell ghcjs javascript unicode normal-forms
Language:Nix