-
Updated
Nov 23, 2025 - Python
#
normal-forms
Here are 11 public repositories matching this topic...
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
prolog type-inference theorem-prover beta-reduction intuitionistic-logic curry-howard-isomorphism lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms
-
Updated
Feb 2, 2026 - Prolog
Original Java-based logical tree engines (2002–2004) for visualizing propositional and first-order logic, recursion, and formal reasoning.
java first-order-logic recursion propositional-logic abstract-syntax-tree explainable-ai xai symbolic-logic normal-forms recursion-algorithm recursion-tree recursion-tree-visualiser logic-educational
-
Updated
Feb 19, 2026 - Java
Boolean algebra toolkit for PHP
-
Updated
Mar 12, 2022 - PHP
lambda-calculus reduction beta-reduction reduction-strategies lambda-terms de-bruijn-notation normal-forms lambda-calculus-interpreter
-
Updated
Aug 13, 2022 - Jupyter Notebook
Questions for the Formal Languages and Machines (FLA) course, Faculty of Computer Engineering, Shahid Beheshti University. Course instructor: Dr. Ramak Ghavamizadeh
regex regular-expression finite-state-machine turing-machine normal-forms pushdown-automata cf-grammar pumping-lemma
-
Updated
Jul 26, 2026
General Information
wordpress cross-platform micro-framework coding-standards semver coding architect psr-2 psr-4 wordpress-plugins unicode-cldr bcnf normal-forms bcnf-database-structure
-
Updated
Sep 23, 2021 - PHP
Propositional logic toolkit: parser, truth tables, tautology/SAT/equivalence, NNF/CNF/DNF, in pure Standard ML (MLton + Poly/ML)
-
Updated
Jul 11, 2026 - Standard ML
Database Normalization is the formal process of structuring relational schemas to reduce redundancy and avoid update, insert, and delete anomalies. It is governed by Codd's normal forms (1NF through 6NF) and the Boyce-Codd Normal Form, and is the foundation of relational design, taught in academic curricula and applied across all major SQL…
-
Updated
Jul 30, 2026
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.
python aws database etl s3 data-warehouse redshift boto3 data-normalization datawarehouse etl-pipeline normal-forms
-
Updated
Jun 13, 2020 - Jupyter Notebook
NFKC normalization for ghcjs and ghc
-
Updated
Jul 3, 2023 - Nix
Improve this page
Add a description, image, and links to the normal-forms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the normal-forms topic, visit your repo's landing page and select "manage topics."