normal-forms

There are 7 repositories under normal-forms topic.

ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Language:Prolog32 1 14
Bharati2301/Online-Voting-System-using-Python-and-MySQL
Language:Python31 4 016
D3lph1/Boollet
Boolean algebra toolkit for PHP
Language:PHP4 1 00
OganyanRV/Lambda-calculus-interpreter
Language:Jupyter Notebook3 1 00
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.
Language:Jupyter Notebook1 2 00
SolidMVC/general-information
General Information
Language:PHP1 3 00
obsidiansystems/unicode-normal-forms
NFKC normalization for ghcjs and ghc
Language:Nix2 0