-
Updated
Nov 23, 2025 - Python
#
normal-forms
Here are 8 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 10, 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
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
NFKC normalization for ghcjs and ghc
-
Updated
Jul 3, 2023 - Nix
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
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."